alla flaggor
[  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Källkod: mathcomp-real-closed  ]

Paket: libcoq-mathcomp-real-closed (2.0.2-1 och andra)

Länkar för libcoq-mathcomp-real-closed

Screenshot

Debianresurser:

Hämta källkodspaketet mathcomp-real-closed:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med libcoq-mathcomp-real-closed

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libcoq-mathcomp-real-closed

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
amd64 2.0.2-1+b10 2.521,3 kbyte10.325,0 kbyte [filförteckning]
arm64 2.0.2-1+b10 2.518,1 kbyte10.325,0 kbyte [filförteckning]
loong64 (inofficiell anpassning) 2.0.0-3 2.444,0 kbyte10.258,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 2.0.0-3 2.446,7 kbyte10.258,0 kbyte [filförteckning]
ppc64el 2.0.2-1+b10 2.521,4 kbyte10.325,0 kbyte [filförteckning]
riscv64 2.0.2-1+b9 2.520,6 kbyte10.325,0 kbyte [filförteckning]
s390x 2.0.2-1+b10 2.518,4 kbyte10.325,0 kbyte [filförteckning]