Sollya: an environment for the development of numerical codes

Sylvain Chevillard; Mioara Maria Joldes; Christoph Lauter

doi:10.1007/978-3-642-15582-6_5

Conference papers

Sollya: an environment for the development of numerical codes

Sylvain Chevillard ¹ 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

Domain :

Computer Science [cs] / Computer Arithmetic

Computer Science [cs] / Mathematical Software [cs.MS]

Complete list of metadata

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 : Friday, January 8, 2021 - 5:40:03 PM
Long-term archiving on: : Wednesday, July 26, 2017 - 12:57:32 PM

Sollya: an environment for the development of numerical codes

File

Identifiers

Collections

Citation

Export

Metrics

643

389

Sollya: an environment for the development of numerical codes

File

Identifiers

Collections

Citation

Export

Share

Metrics

643

389