package coq-mathcomp-algebra
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Mathematical Components Library on Algebra
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-2.0.0.tar.gz
sha256=ea98879e2b3be3321378ed43b8b0cd9b8b469315955784228d8851e4f59a927f
Description
This library contains definitions and theorems about discrete (i.e. with decidable equality) algebraic structures : ring, fields, ordered fields, real fields, modules, algebras, integers, rational numbers, polynomials, matrices, vector spaces...
Tags
keyword:algebra keyword:small scale reflection keyword:mathematical components keyword:odd order theorem logpath:mathcomp.algebraPublished: 10 May 2023
Dependencies (1)
-
coq-mathcomp-fingroup
= version
Dev Dependencies
None
Used by (30)
- coq-addition-chains
- coq-algorand
-
coq-belgames
>= "2.0.0" -
coq-coqeal
>= "2.0.0" - coq-coqeal-theory
-
coq-fcsl-pcm
>= "1.8.0" -
coq-fourcolor
>= "1.2.5" - coq-fourcolor-reals
- coq-gaia
- coq-gaia-numbers
- coq-gaia-stern
-
coq-graph-theory
>= "0.9.2" - coq-hanoi
-
coq-htt
>= "1.3.0" - coq-htt-core
-
coq-infotheo
>= "0.5.1" & < "0.6.1" - coq-mathcomp-abel
- coq-mathcomp-algebra-tactics
-
coq-mathcomp-analysis
>= "0.3.13" & < "0.5.0" | >= "0.5.2" & < "0.5.4" - coq-mathcomp-apery
- coq-mathcomp-cad
- coq-mathcomp-classical
-
coq-mathcomp-multinomials
>= "1.4" -
coq-mathcomp-real-closed
>= "1.1.3" -
coq-mathcomp-solvable
= "2.0.0" -
coq-mathcomp-sum-of-two-square
>= "1.0.1" - coq-mathcomp-word
- coq-mathcomp-zify
-
coq-matrix
< "1.0.4" -
coq-monae
>= "0.4.5" & < "0.7.0"
Conflicts
None
On This Page