Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Sylvie Boldo
Sylvie Boldo
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Preuves formelles en arithmétiques à virgule flottante
Directed Thesis:
Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie
Formalisations d’analyses d’erreurs en analyse numérique et en arithmétique à virgule flottante
Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée
Taking architecture and compiler into account in formal proofs of numerical programs