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 metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-00761644
Contributor : Sylvain Chevillard <>
Submitted on : Tuesday, April 25, 2017 - 10:37:53 AM
Last modification on : Saturday, March 30, 2019 - 1:26:18 AM
Long-term archiving on : Wednesday, July 26, 2017 - 12:57:32 PM

File

SollyaExtendedAbstract.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

537

Files downloads

168