package coq-mathcomp-multinomials
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A multivariate polynomial library for the Mathematical Components Library
Install
Dune Dependency
Authors
Maintainers
Sources
1.2.tar.gz
sha256=2422aac5dd59589e566bbd5c13030437680183a553f95f6648469b80ea77af71
Description
Tags
keyword:multinomials keyword:monoid algebra category:Math/Algebra/Multinomials category:Math/Algebra/Monoid algebra date:2016 logpath:SsrMultinomialsPublished: 10 Apr 2019
Dependencies (4)
-
coq-mathcomp-finmap
>= "1.2.0" & < "1.3.0~"
-
coq-mathcomp-bigenough
>= "1.0.0" & < "1.1.0~"
-
coq-mathcomp-algebra
(>= "1.8.0" & < "1.9.0~")
-
coq
>= "8.7"
Dev Dependencies
None
Used by (2)
-
coq-coqeal
< "1.0.2"
-
coq-validsdp
< "1.0.2"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page