Paket: libcoq-mathcomp-real-closed (2.0.2-1 ve diğerleri)

libcoq-mathcomp-real-closed için bağlantılar

eLxr Yama Takipçisi

mathcomp-real-closed Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [github.com]

Benzer paketler:

Real closed fields for Mathematical Components

This library contains definitions and theorems about real closed fields for Mathematical Components. It includes a construction of the real and algebraic closure (with a proof of the fundamental theorem of algebra). The decidability of the first order theory of real closed field, through quantifier elimination is also established.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

libcoq-mathcomp-real-closed ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libcoq-mathcomp-algebra-7yl00 [arm64]

sanal paketi sağlayan libcoq-mathcomp-algebra
dep: libcoq-mathcomp-algebra-ausx4 [amd64]

sanal paketi sağlayan libcoq-mathcomp-algebra
dep: libcoq-mathcomp-bigenough-06xl3 [amd64]

sanal paketi sağlayan libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-bigenough-j2g53 [arm64]

sanal paketi sağlayan libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-field-m4508 [arm64]

sanal paketi sağlayan libcoq-mathcomp-field
dep: libcoq-mathcomp-field-opte0 [amd64]

sanal paketi sağlayan libcoq-mathcomp-field
dep: libcoq-mathcomp-ssreflect-08jv4 [amd64]

sanal paketi sağlayan libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-ga8c0 [arm64]

sanal paketi sağlayan libcoq-mathcomp-ssreflect

sug: ocaml-findlib

management tool for OCaml libraries

libcoq-mathcomp-real-closed indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	2.0.2-1+b7	2.521,7 kB	10.325,0 kB	[dosya listesi]
arm64	2.0.2-1+b7	2.521,1 kB	10.325,0 kB	[dosya listesi]