[ Quellcode: mathcomp-multinomials ]
Paket: libcoq-mathcomp-multinomials (2.2.0-1 und andere)
Links für libcoq-mathcomp-multinomials
Debian-Ressourcen:
Quellcode-Paket mathcomp-multinomials herunterladen:
- [mathcomp-multinomials_2.2.0-1.dsc]
- [mathcomp-multinomials_2.2.0.orig.tar.gz]
- [mathcomp-multinomials_2.2.0-1.debian.tar.xz]
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu libcoq-mathcomp-multinomials
|
|
|
|
-
- dep: libcoq-mathcomp-algebra-htzc7
- virtuelles Paket, bereitgestellt durch libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-bigenough-ijgv8
- virtuelles Paket, bereitgestellt durch libcoq-mathcomp-bigenough
-
- dep: libcoq-mathcomp-finmap-iyu92
- virtuelles Paket, bereitgestellt durch libcoq-mathcomp-finmap
-
- dep: libcoq-mathcomp-ssreflect-c6dp7
- virtuelles Paket, bereitgestellt durch libcoq-mathcomp-ssreflect
-
- sug: ocaml-findlib
- Verwaltungswerkzeug für OCaml-Bibliotheken
libcoq-mathcomp-multinomials herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| ppc64el | 2.2.0-1+b2 | 1.393,2 kB | 3.781,0 kB | [Liste der Dateien] |