12 search results for "tag:"keyword:mathematical components""
Showing 1 - 12
-
coq-coqeal
No documentation
CoqEAL - The Coq Effective Algebra Librarycategory:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms keyword:effective algebra keyword:elementary divisor rings keyword:Smith normal form keyword:mathematical components keyword:Bareiss keyword:Karatsuba multiplication keyword:refinements logpath:CoqEAL2.1.0MITUsed by 3 other packages18 Feb 2025 -
coq-coqeal-theory
No documentation
The theory needed by the CoqEAL refinement framework library0.9.1MITUsed by 2 other packages25 Nov 2015 -
coq-fourcolor
No documentation
Mechanization of the Four Color Theorem in Coq1.4.1CECILL-BUsed by 1 other packages21 Apr 2025 -
coq-mathcomp-bigenough
No documentation
A small library to do epsilon - N reasoning1.0.2CeCILL-BUsed by 8 other packages25 Jan 2025 -
coq-mathcomp-field-extra
No documentation
Extra Mathematical Components Library on Fields1.6.1CeCILL-BUsed by 1 other packages26 Jun 2019 -
coq-mathcomp-odd-order
No documentation
The formal proof of the Feit-Thompson theorem2.2.0CeCILL-BUsed by 0 other packages10 May 2025 -
rocq-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.4.0CECILL-BUsed by 2 other packages15 Apr 2025 -
rocq-mathcomp-character
No documentation
Mathematical Components Library on character theory2.4.0CECILL-BUsed by 1 other packages15 Apr 2025 -
rocq-mathcomp-field
No documentation
Mathematical Components Library on Fields2.4.0CECILL-BUsed by 2 other packages15 Apr 2025 -
rocq-mathcomp-fingroup
No documentation
Mathematical Components Library on finite groups2.4.0CECILL-BUsed by 2 other packages15 Apr 2025 -
rocq-mathcomp-solvable
No documentation
Mathematical Components Library on finite groups (II)2.4.0CECILL-BUsed by 2 other packages15 Apr 2025 -
rocq-mathcomp-ssreflect
No documentation
Small Scale Reflectionkeyword:small scale reflection keyword:mathematical components keyword:bigop keyword:big operators keyword:biomial coefficient keyword:integer division theory keyword:finite sets keyword:functions with finite domain keyword:finite graphs keyword:quotient types keyword:order theory keyword:partial order keyword:lattices keyword:lists keyword:ordering and sorting lists keyword:prime numbers keyword:tuples keyword:bounded lists logpath:mathcomp.ssreflect2.4.0CECILL-BUsed by 3 other packages15 Apr 2025