Sollya: an environment for the development of numerical codes

Authors:
Sylvain Chevillard;Mioara Joldeş;Christoph Lauter
Affiliations:
INRIA, LORIA, Vandoeuvre-lès-Nancy Cedex, France;LIP, CNRS, ÉNS de Lyon, INRIA, Université de Lyon, Lyon Cedex 07, France;Intel Corporation, Hillsboro, OR and LIP, CNRS, ÉNS de Lyon, INRIA, Université de Lyon, Arénaire Project-Team, Lyon Cedex 07, France
Venue:
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Year:
2010

Citing 4
Cited 1

Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)

Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
A Certified Infinite Norm for the Implementation of Elementary Functions

QSIC '07 Proceedings of the Seventh International Conference on Quality Software
A New Binary Floating-Point Division Algorithm and Its Software Implementation on the ST231 Processor

ARITH '09 Proceedings of the 2009 19th IEEE Symposium on Computer Arithmetic
Handbook of Floating-Point Arithmetic

Handbook of Floating-Point Arithmetic

Rigorous polynomial approximation using taylor models in Coq

NFM'12 Proceedings of the 4th international conference on NASA Formal Methods

Quantified Score

Hi-index	0.00

Visualization

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.