معرفی شرکت ها
libcoq-interval_4.6.1-2+b1_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
interval arithmetic for Coq
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main amd64 |
| نام بسته | libcoq-interval |
| نام فایل بسته | libcoq-interval_4.6.1-2+b1_amd64.deb |
| نسخه بسته | 4.6.1 |
| انتشار بسته | 2+b1 |
| معماری بسته | amd64 |
| نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://coqinterval.gitlabpages.inria.fr/ |
| مجوز | - |
| حجم دانلود | 4618808 |
| حجم نصب | 14036 |
This package provides tactics to simplify the
proof of inequalities on expressions of real
numbers.
.
Coq is a proof assistant for higher-order logic.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libcoq-interval_4.6.1-2+b1_arm64.deb | 4.6.1 | arm64 | Debian main |
| libcoq-interval_4.6.1-2+b1_armhf.deb | 4.6.1 | armhf | Debian main |
| libcoq-interval_4.6.1-2+b1_i386.deb | 4.6.1 | i386 | Debian main |
| libcoq-interval_4.6.1-2+b1_ppc64el.deb | 4.6.1 | ppc64el | Debian main |
| libcoq-interval_4.6.1-2+b1_s390x.deb | 4.6.1 | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | libcoq-bignums-u3wh0 |
| - | libcoq-coquelicot-rnmm2 |
| - | libcoq-flocq-g8nw3 |
| - | libcoq-mathcomp-ssreflect-7sy01 |
| - | libcoq-stdlib-ewsr6 |
نحوه نصب
نصب پکیج deb libcoq-interval:
sudo apt-get install libcoq-interval_4.6.1-2+b1_amd64.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ocaml/coq/user-contrib/Interval/Eval/Eval.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Eval/Prog.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Eval/Reify.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Eval/Tree.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Float/Basic.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Float/Generic.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Float/Generic_ops.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Float/Generic_proof.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Float/Primitive_ops.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Float/Sig.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Float/Specific_bigint.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Float/Specific_ops.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Float/Specific_sig.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Float/Specific_stdz.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Integral/Bertrand.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Integral/Integral.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Integral/Priority.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Integral/Refine.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Interval/Float.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Interval/Float_full.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Interval/Interval.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Interval/Interval_compl.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Interval/Transcend.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Interval/Univariate_sig.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Missing/Coquelicot.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Missing/Int63Compat.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Missing/Int63Copy.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Missing/MathComp.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Missing/Stdlib.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Plot.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Poly/Basic_rec.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Poly/Bound.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Poly/Bound_quad.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Poly/Datatypes.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Poly/Taylor_model.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Poly/Taylor_model_sharp.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Poly/Taylor_poly.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Real/Taylor.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Real/Xreal.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Real/Xreal_derive.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Tactic.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Tactic_float.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Tactics/Integral_helper.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Tactics/Interval_helper.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Tactics/Plot_helper.vo |
| ./usr/lib/ocaml/coq/user-contrib/Interval/Tactics/Root_helper.vo |
| ./usr/lib/ocaml/coq-interval/META |
| ./usr/lib/ocaml/coq-interval/interval_plot.cmo |
| ./usr/lib/ocaml/coq-interval/interval_plot.cmxs |
| ./usr/share/doc/libcoq-interval/changelog.Debian.amd64.gz |
| ... and 19 more |