Skip to Main content Skip to Navigation
Directions of work or proceedings

Proceedings of the 26th Symposium on Computer Arithmetic (ARITH 2019)

Sylvie Boldo 1 Martin Langhammer 2
1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
Abstract : Presents the introductory welcome message from the conference proceedings. May include the conference officers' congratulations to all involved with the conference event and publication of the proceedings record.
Document type :
Directions of work or proceedings
Complete list of metadatas

https://hal.inria.fr/hal-02433652
Contributor : Sylvie Boldo <>
Submitted on : Thursday, January 9, 2020 - 12:42:18 PM
Last modification on : Wednesday, September 16, 2020 - 5:32:58 PM

Links full text

Identifiers

Collections

Citation

Sylvie Boldo, Martin Langhammer. Proceedings of the 26th Symposium on Computer Arithmetic (ARITH 2019). ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, IEEE, 2019, 978-1-7281-3367-6. ⟨10.1109/ARITH.2019.00005⟩. ⟨hal-02433652⟩

Share

Metrics

Record views

41