Fiche Logiciel - Flocq
Flocq
Flocq (Floats for Coq) est une formalisation de l'arithmétique à virgule flottante pour le système Coq. Il fournit une bibliothèque complète de théorèmes sur l'arithmétique multi-radix multi-précision ; il permet également des calculs numériques efficaces dans Coq.
Discipline(s):
Non renseigné
Domaine(s) d'application:
Non renseigné
Mot(s)-clé(s):
Non renseigné
Aucun développeur associé.
Contact :
Contact non renseingé
Aucun laboratoire associé.
Bibtex
Non renseigné.