Binary package “libcoq-mathcomp-multinomials” in ubuntu noble
Multivariate polynomials for Mathematical Components
This package provides an extension to Mathematical Components
for monomial algebra, multivariate polynomials over ring
structures and an extended theory for polynomials whose
coefficients live in abelian rings and integral domains.
.
The Mathematical Components library is a coherent repository of
general-purpose formalized mathematical theories for the
Coq proof assistant.
Source package
Published versions
- libcoq-mathcomp-multinomials 1.6.0-3build1 in amd64 (Release)
- libcoq-mathcomp-multinomials 2.2.0-1build5 in amd64 (Proposed)
- libcoq-mathcomp-multinomials 2.2.0-1build5 in amd64 (Release)
- libcoq-mathcomp-multinomials 1.6.0-3build1 in arm64 (Release)
- libcoq-mathcomp-multinomials 2.2.0-1build5 in arm64 (Proposed)
- libcoq-mathcomp-multinomials 2.2.0-1build5 in arm64 (Release)
- libcoq-mathcomp-multinomials 1.6.0-3build1 in armhf (Release)
- libcoq-mathcomp-multinomials 2.2.0-1build5 in armhf (Proposed)
- libcoq-mathcomp-multinomials 2.2.0-1build5 in armhf (Release)
- libcoq-mathcomp-multinomials 1.6.0-3build1 in ppc64el (Release)
- libcoq-mathcomp-multinomials 2.2.0-1build5 in ppc64el (Proposed)
- libcoq-mathcomp-multinomials 2.2.0-1build5 in ppc64el (Release)
- libcoq-mathcomp-multinomials 1.6.0-3build1 in riscv64 (Release)
- libcoq-mathcomp-multinomials 2.2.0-1build5 in riscv64 (Proposed)
- libcoq-mathcomp-multinomials 2.2.0-1build5 in riscv64 (Release)
- libcoq-mathcomp-multinomials 1.6.0-3build1 in s390x (Release)
- libcoq-mathcomp-multinomials 2.2.0-1build5 in s390x (Proposed)
- libcoq-mathcomp-multinomials 2.2.0-1build5 in s390x (Release)