Accreditation To Supervise Research Year : 2019

Formal Verification for Numerical Computations, and the Other Way Around

Domains

Computer Arithmetic Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
hdr.pdf (1.52 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Guillaume Melquiond  : Connect in order to contact the contributor

https://theses.hal.science/tel-02194683

Submitted on : Thursday, July 25, 2019-5:39:52 PM

Last modification on : Thursday, November 28, 2024-3:42:02 PM

Download

Dates and versions

tel-02194683 , version 1 (25-07-2019)

Identifiers

  • HAL Id : tel-02194683 , version 1

Cite

Guillaume Melquiond. Formal Verification for Numerical Computations, and the Other Way Around. Computer Arithmetic. Université Paris Sud, 2019. ⟨tel-02194683⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 LRI-VALS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
312 View
838 Download

Share

More