toutes les options
bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : mathcomp-real-closed  ]

Paquet : libcoq-mathcomp-real-closed (2.0.0-1 et autres)

Liens pour libcoq-mathcomp-real-closed

Screenshot

Ressources Debian :

Télécharger le paquet source mathcomp-real-closed :

Responsables :

Ressources externes :

Paquets similaires :

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.

Autres paquets associés à libcoq-mathcomp-real-closed

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libcoq-mathcomp-real-closed

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
i386 2.0.0-1+b2 2 352,8 ko9 899,0 ko [liste des fichiers]