4 search results for "tag:"keyword:integers""
Showing 1 - 4
-
coq-gaia-numbers
No documentation
Implementation of the sets of numbers Z, Q, and R following Bourbaki's Elements of Mathematics in Coq2.2MITUsed by 0 other packages11 Aug 2024 -
coq-itauto
No documentation
Reflexive SAT solver with Nelson-Oppen support, parameterised by a leaf tactic inside Coq8.20.0MITUsed by 1 other packages06 Sep 2024 -
coq-mathcomp-algebra
No documentation
Mathematical Components Library on Algebrakeyword:small scale reflection keyword:mathematical components keyword:algebra keyword:algebraic structure hierarchies keyword:archimedean field keyword:floor keyword:ceil keyword:intervals keyword:matrices keyword:vectors keyword:block matrices keyword:determinant keyword:Cramer rule keyword:Vandermonde matrices keyword:LUP decomposition keyword:Gaussian elimination keyword:matrix rank keyword:eigen values keyword:single variable polynomials keyword:bivariate polynomials keyword:polynomial division keyword:integers keyword:rational numbers keyword:semirings keyword:rings keyword:left algebra keyword:left module keyword:unit rings keyword:field keyword:algebraically closed field keyword:additive morphisms keyword:ring morphisms keyword:finite dimensional vector spaces keyword:complex numbers keyword:square root logpath:mathcomp.algebra2.3.0CECILL-BUsed by 29 other packages29 Nov 2024 -
coq-ppsimpl
No documentation
Ppsimpl is a reflexive tactic for canonising (arithmetic) goals8.10.0LGPL 3Used by 0 other packages18 Oct 2019