معرفی شرکت ها

libcoq-mathcomp-abel_1.2.1-1+b3_ppc64el.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Abel-Galois and Abel-Ruffini theorems for Mathematical Components
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main ppc64el
نام بسته libcoq-mathcomp-abel
نام فایل بسته libcoq-mathcomp-abel_1.2.1-1+b3_ppc64el.deb
نسخه بسته 1.2.1
انتشار بسته 1+b3
معماری بسته ppc64el
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/math-comp/abel
مجوز -
حجم دانلود 1278704
حجم نصب 4160
This package provides proofs of the Abel-Galois (solvability by radicals and solvability of the Galois group) and of the Abel-Ruffini theorem (general unsolvability of the quintic equations) using the Mathematical Components library. . The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.


جایگزین ها

بسته نسخه معماری مخزن
libcoq-mathcomp-abel_1.2.1-1+b3_arm64.deb 1.2.1 arm64 Debian main
libcoq-mathcomp-abel_1.2.1-1+b3_armhf.deb 1.2.1 armhf Debian main
libcoq-mathcomp-abel_1.2.1-1+b3_i386.deb 1.2.1 i386 Debian main
libcoq-mathcomp-abel_1.2.1-1+b3_s390x.deb 1.2.1 s390x Debian main
libcoq-mathcomp-abel_1.2.1-1+b5_amd64.deb 1.2.1 amd64 Debian main


نیازمندی

مقدار نام
- libcoq-mathcomp-algebra-q5ru3
- libcoq-mathcomp-field-5ny88
- libcoq-mathcomp-fingroup-ulnf7
- libcoq-mathcomp-real-closed-5le74
- libcoq-mathcomp-solvable-kc7e8
- libcoq-mathcomp-ssreflect-l1wx5


نحوه نصب


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

    sudo apt-get install libcoq-mathcomp-abel_1.2.1-1+b3_ppc64el.deb


فایل ها

مسیرها
./usr/lib/ocaml/coq/user-contrib/Abel/abel.glob
./usr/lib/ocaml/coq/user-contrib/Abel/abel.v
./usr/lib/ocaml/coq/user-contrib/Abel/abel.vo
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/algR.glob
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/algR.v
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/algR.vo
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/char0.glob
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/char0.v
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/char0.vo
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/classic_ext.glob
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/classic_ext.v
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/classic_ext.vo
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/cyclotomic_ext.glob
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/cyclotomic_ext.v
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/cyclotomic_ext.vo
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/map_gal.glob
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/map_gal.v
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/map_gal.vo
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/real_closed_ext.glob
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/real_closed_ext.v
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/real_closed_ext.vo
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/various.glob
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/various.v
./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/various.vo
./usr/share/doc/libcoq-mathcomp-abel/README.md.gz
./usr/share/doc/libcoq-mathcomp-abel/changelog.Debian.gz
./usr/share/doc/libcoq-mathcomp-abel/changelog.Debian.ppc64el.gz
./usr/share/doc/libcoq-mathcomp-abel/copyright
./var/lib/coq/md5sums/libcoq-mathcomp-abel.checksum