معرفی شرکت ها

libcoq-mathcomp-multinomials_1.5.5-8+b5_arm64.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Multivariate polynomials for Mathematical Components
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main arm64
نام بسته libcoq-mathcomp-multinomials
نام فایل بسته libcoq-mathcomp-multinomials_1.5.5-8+b5_arm64.deb
نسخه بسته 1.5.5
انتشار بسته 8+b5
معماری بسته arm64
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/math-comp/multinomials
مجوز -
حجم دانلود 1335196
حجم نصب 3290
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_1.5.5-8+b5_amd64.deb 1.5.5 amd64 Debian main
libcoq-mathcomp-multinomials_1.5.5-8+b5_armhf.deb 1.5.5 armhf Debian main
libcoq-mathcomp-multinomials_1.5.5-8+b5_i386.deb 1.5.5 i386 Debian main
libcoq-mathcomp-multinomials_1.5.5-8+b5_ppc64el.deb 1.5.5 ppc64el Debian main
libcoq-mathcomp-multinomials_1.5.5-8+b5_s390x.deb 1.5.5 s390x Debian main


نیازمندی

مقدار نام
- libcoq-mathcomp-algebra-jkay4
- libcoq-mathcomp-bigenough-0wm37
- libcoq-mathcomp-finmap-t9358
- libcoq-mathcomp-ssreflect-bczw3


نحوه نصب


نصب پکیج deb libcoq-mathcomp-multinomials:

    sudo apt-get install libcoq-mathcomp-multinomials_1.5.5-8+b5_arm64.deb


فایل ها

مسیرها
./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/freeg.v
./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/freeg.vo
./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/monalg.v
./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/monalg.vo
./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/mpoly.v
./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/mpoly.vo
./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/ssrcomplements.v
./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/ssrcomplements.vo
./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/xfinmap.v
./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/xfinmap.vo
./usr/lib/ocaml/coq-mathcomp-multinomials/META
./usr/lib/ocaml/coq-mathcomp-multinomials/dune-package
./usr/lib/ocaml/coq-mathcomp-multinomials/opam
./usr/share/doc/libcoq-mathcomp-multinomials/README.md
./usr/share/doc/libcoq-mathcomp-multinomials/changelog.Debian.arm64.gz
./usr/share/doc/libcoq-mathcomp-multinomials/changelog.Debian.gz
./usr/share/doc/libcoq-mathcomp-multinomials/copyright
./var/lib/coq/md5sums/libcoq-mathcomp-multinomials.checksum