10 search results for "tag:"category:Mathematics/Algebra""
Showing 1 - 10
-
coq-buchberger
No documentation
Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases8.18.0LGPL-2.1-or-laterUsed by 0 other packages28 Dec 2023 -
coq-color
No documentation
A library on rewriting theory and terminationdate:2023-06-28 logpath:CoLoR category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms category:Computer Science/Data Types and Data Structures category:Computer Science/Lambda Calculi category:Mathematics/Algebra category:Mathematics/Combinatorics and Graph Theory category:Mathematics/Logic/Type theory category:Miscellaneous/Extracted Programs/Type checking unification and normalization keyword:rewriting keyword:termination keyword:lambda calculus keyword:list keyword:multiset keyword:polynomial keyword:vectors keyword:matrices keyword:FSet keyword:FMap keyword:term keyword:context keyword:substitution keyword:universal algebra keyword:varyadic term keyword:string keyword:alpha-equivalence keyword:de Bruijn indices keyword:simple types keyword:matching keyword:unification keyword:relation keyword:ordering keyword:quasi-ordering keyword:lexicographic ordering keyword:ring keyword:semiring keyword:well-foundedness keyword:noetherian keyword:finitely branching keyword:dependent choice keyword:infinite sequences keyword:non-termination keyword:loop keyword:graph keyword:path keyword:transitive closure keyword:strongly connected components keyword:topological ordering keyword:rpo keyword:horpo keyword:dependency pair keyword:dependency graph keyword:semantic labeling keyword:reducibility keyword:Girard keyword:fixpoint theorem keyword:Tarski keyword:pigeon-hole principle keyword:Ramsey theorem1.8.5CeCILL-2.1Used by 0 other packages16 Apr 2024 -
coq-coqeal-theory
No documentation
The theory needed by the CoqEAL refinement framework library0.9.1MITUsed by 2 other packages25 Nov 2015 -
coq-corn
No documentation
The Coq Constructive Repository at Nijmegen8.20.0GPL-2.0Used by 0 other packages01 Feb 2025 -
coq-finmatrix
No documentation
Matrix by fin (finite set over nat) in Coq1.0.2MITUsed by 0 other packages11 Jun 2024 -
coq-mathcomp-multinomials
No documentation
A Multivariate polynomial Library for the Mathematical Components Library2.3.0CECILL-BUsed by 3 other packages14 Dec 2024 -
coq-matrix
No documentation
Formal matrix theory with multiple implementations in Coq1.0.6MITUsed by 0 other packages16 Jan 2024 -
coq-operads
No documentation
A Coq library defining operads1.1.0Used by 0 other packages29 Aug 2023 -
coq-quantumlib
No documentation
Coq library for reasoning about quantum programs1.6.0MITUsed by 0 other packages20 Jan 2025 -
coq-relation-algebra
No documentation
Relation Algebra and KAT in Coq1.7.11LGPL-3.0-or-laterUsed by 1 other packages18 Sep 2024