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.
Keywords : development tool numerical software function approximation computer algebra faithful rounding
Document type :
Conference papers
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 : Monday, July 6, 2020 - 4:26:26 PM
Document(s) archivé(s) le : Wednesday, July 26, 2017 - 12:57:32 PM

File

Vignette du document
SollyaExtendedAbstract.pdf
Files produced by the author(s)

Identifiers

Collections

CNRS | UPMC | LIP | LIP6 | INRIA | ENS-LYON | LORIA-ALGO | LORIA | UNIV-LORRAINE | UNIV-LYON1 | SORBONNE-UNIVERSITE | SU-SCIENCES | UDL

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

601

Files downloads

289

Contact

Informations

CCSD