Skip to Main content Skip to Navigation
Book sections

Arithmétique des ordinateurs et preuves formelles

Sylvie Boldo 1 Guillaume Melquiond 1
1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
Document type :
Book sections
Complete list of metadatas
https://hal.inria.fr/hal-01767900
Contributor : Sylvie Boldo <>
Submitted on : Monday, April 16, 2018 - 5:15:47 PM
Last modification on : Wednesday, September 16, 2020 - 5:27:24 PM

Identifiers

  • HAL Id : hal-01767900, version 1

Collections

CNRS | INRIA | UMR8623 | LRI-VALS

Relations

Citation

Sylvie Boldo, Guillaume Melquiond. Arithmétique des ordinateurs et preuves formelles. Informatique mathématique : Une photographie en 2013, 2013. ⟨hal-01767900⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

79

 

Contact                    Legal Notice                    Personal Data