tüm seçenekler
bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: mathcomp-real-closed  ]

Paket: libcoq-mathcomp-real-closed (2.0.0-2 ve diğerleri)

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

Screenshot

Debian Kaynakları:

mathcomp-real-closed Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

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

libcoq-mathcomp-real-closed indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
amd64 2.0.0-2+b1 2.446,6 kB10.259,0 kB [dosya listesi]
arm64 2.0.0-2+b1 2.443,9 kB10.259,0 kB [dosya listesi]
armhf 2.0.0-2 2.444,5 kB10.252,0 kB [dosya listesi]
i386 2.0.0-2+b1 2.445,1 kB10.253,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 1.1.4-2 2.242,3 kB9.448,0 kB [dosya listesi]
ppc64el 2.0.0-2+b1 2.444,8 kB10.259,0 kB [dosya listesi]
riscv64 2.0.0-2+b1 2.445,1 kB10.259,0 kB [dosya listesi]
s390x 2.0.0-2 2.444,2 kB10.258,0 kB [dosya listesi]