Melquiond, Guillaume
Melquiond, Guillaume, 19..-....
VIAF ID: 172395076 ( Personal )
Permalink: http://viaf.org/viaf/172395076
Preferred Forms
-
- 100 1 _ ‡a Melquiond, Guillaume
-
- 100 1 _ ‡a Melquiond, Guillaume
-
- 100 1 _ ‡a Melquiond, Guillaume, ‡d 19..-....
Works
Title | Sources |
---|---|
Computer arithmetic and formal proofs, 2017: | |
Développement et vérification de bibliothèques d'arithmétique entière en précision arbitraire. | |
From interval arithmetic to program certification. | |
Handbook of Floating-Point Arithmetic | |
Reinventing Coq's Reals library : toward a more suitable formalization of classical analysis. | |
Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée | |
Stratégies pour la réduction forte |