Sollya: an environment for the development of numerical codes

Sylvain Chevillard 1 Mioara Maria Joldes 2, * Christoph Lauter 3, *
* Auteur correspondant
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
Type de document :
Communication dans un congrès
Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama. Third International Congress on Mathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. Springer, 6327, pp.28 -- 31, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-15582-6_5〉
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-00761644
Contributeur : Sylvain Chevillard <>
Soumis le : mardi 25 avril 2017 - 10:37:53
Dernière modification le : vendredi 31 août 2018 - 09:25:55
Document(s) archivé(s) le : mercredi 26 juillet 2017 - 12:57:32

Fichier

SollyaExtendedAbstract.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

UPMC | LIP | LIP6 | INRIA | ENS-LYON | LORIA | LORIA-ALGO | UNIV-LORRAINE | UNIV-LYON1

Citation

Sylvain Chevillard, Mioara Maria Joldes, Christoph Lauter. Sollya: an environment for the development of numerical codes. Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama. Third International Congress on Mathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. Springer, 6327, pp.28 -- 31, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-15582-6_5〉. 〈hal-00761644〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

473

Téléchargements de fichiers

47

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD