Sollya: An Environment for the Development of Numerical Codes

  • Sylvain Chevillard
  • Mioara Joldeş
  • Christoph Lauter
Conference paper

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

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6327)
Cite this paper as:
Chevillard S., Joldeş M., Lauter C. (2010) Sollya: An Environment for the Development of Numerical Codes. In: Fukuda K., Hoeven J..., Joswig M., Takayama N. (eds) Mathematical Software – ICMS 2010. ICMS 2010. Lecture Notes in Computer Science, vol 6327. Springer, Berlin, Heidelberg

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

Numerical software faithful rounding computer algebra development tool function approximation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Sylvain Chevillard
    • 1
  • Mioara Joldeş
    • 2
  • Christoph Lauter
    • 2
  1. 1.INRIA, LORIA, Caramel Project-TeamVandœuvre-lès-Nancy CedexFrance
  2. 2.LIP (CNRS/ÉNS de Lyon/INRIA/Université de Lyon), Arénaire Project-TeamLyon Cedex 07France

Personalised recommendations