package coq-mathcomp-field
Mathematical Components Library on Fields
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-1.15.0.tar.gz
sha256=33105615c937ae1661e12e9bc00e0dbad143c317a6ab78b1a15e1d28339d2d95
Description
This library contains definitions and theorems about field extensions, galois theory, algebraic numbers, cyclotomic polynomials...
Tags
keyword:algebra keyword:field keyword:small scale reflection keyword:mathematical components keyword:odd order theorem logpath:mathcomp.fieldPublished: 30 Jun 2022
Dependencies (1)
-
coq-mathcomp-solvable
= version
Dev Dependencies
None
Used by (13)
- coq-geocoq-algebraic
-
coq-infotheo
>= "0.0.7" & < "0.1.1" | >= "0.3.8" & < "0.6.1" | >= "0.9.3" -
coq-libvalidsdp
>= "1.0.1" & < "1.0.3" - coq-mathcomp-abel
-
coq-mathcomp-analysis
>= "0.3.13" & < "0.5.0" | >= "0.5.2" & < "1.16.0" - coq-mathcomp-apery
- coq-mathcomp-cad
-
coq-mathcomp-character
= "1.15.0" -
coq-mathcomp-odd-order
= "1.13.0" -
coq-mathcomp-real-closed
>= "1.1.3" & < "2.0.6" -
coq-mathcomp-sum-of-two-square
>= "1.0.1" -
coq-monae
>= "0.4.2" & < "0.7.0" -
coq-validsdp
>= "1.0.1" & < "1.0.3"
Conflicts
None
On This Page