Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Sollya: an environment for the development of numerical codes

Sylvain Chevillard 1 Mioara Maria Joldes 2, * Christoph Lauter 3, * 
* Corresponding author
1 CARAMEL - Cryptology, Arithmetic: Hardware and Software
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
2 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
3 PEQUAN - Performance et Qualité des Algorithmes Numériques
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Sollya has become a mature tool for the development of numerical software. With about $175$ built-in algorithms and a broad extensibility, it offers a complete tool-chain for fixed- and floating-point software and hardware design. Its features include on-the-fly faithful rounding, specialized approximation algorithms and extensive support for floating-point code generation.
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download
Contributor : Sylvain Chevillard Connect in order to contact the contributor
Submitted on : Tuesday, April 25, 2017 - 10:37:53 AM
Last modification on : Thursday, February 3, 2022 - 3:43:32 AM
Long-term archiving on: : Wednesday, July 26, 2017 - 12:57:32 PM


Files produced by the author(s)



Sylvain Chevillard, Mioara Maria Joldes, Christoph Lauter. Sollya: an environment for the development of numerical codes. Third International Congress on Mathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. pp.28 -- 31, ⟨10.1007/978-3-642-15582-6_5⟩. ⟨hal-00761644⟩



Record views


Files downloads