Пакет: libcoq-mathcomp-multinomials (2.2.0-1 и други)

Връзки за libcoq-mathcomp-multinomials

Ресурси за Debian:

Изтегляне на пакет-източник mathcomp-multinomials.

Отговорници:

Външни препратки:

Начална страница [github.com]

Подобни пакети:

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.

Други пакети, свързани с libcoq-mathcomp-multinomials

зависимости

препоръчани

предложени

enhances

dep: libcoq-mathcomp-algebra-htzc7

Пакетът не е наличен
dep: libcoq-mathcomp-bigenough-ijgv8

виртуален пакет, предлаган от libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-finmap-iyu92

виртуален пакет, предлаган от libcoq-mathcomp-finmap
dep: libcoq-mathcomp-ssreflect-c6dp7

Пакетът не е наличен

sug: ocaml-findlib

management tool for OCaml libraries

Изтегляне на libcoq-mathcomp-multinomials

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
ppc64el	2.2.0-1+b2	1 393,2 кБ	3 781,0 кБ	[списък на файловете]