package coq-mathcomp-cad
Formal Proof of Cylindrical Algebraic Decomposition
Install
Dune Dependency
Authors
Maintainers
Sources
v1.1.tar.gz
md5=87a3edde312af6c9d046465ffcadb33d
Description
This library contains a formal proof of Collins' Cylindical Aglebraic Decomposition, using the Mathematical Components Library.
Dependencies (13)
-
coq-mathcomp-analysis
>= "1.1.0" -
coq-mathcomp-classical
>= "1.1.0" -
coq-mathcomp-real-closed
>= "2.0.1" -
coq-mathcomp-multinomials
>= "2.2.0" -
coq-mathcomp-finmap
>= "1.0.1" -
coq-mathcomp-bigenough
>= "1.0.1" - coq-mathcomp-field
- coq-mathcomp-solvable
- coq-mathcomp-fingroup
- coq-mathcomp-algebra
-
coq-mathcomp-ssreflect
= "2.2.0" - coq-hierarchy-builder
-
coq
>= "8.18"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page