Skip to main content

Sollya: An Environment for the Development of Numerical Codes

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 6327)


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.


  • Numerical software
  • faithful rounding
  • computer algebra
  • development tool
  • function approximation

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-15582-6_5
  • Chapter length: 4 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
USD   74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-15582-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   99.00
Price excludes VAT (USA)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. American National Standards Institute (ANSI) and Institute of Electrical and Electronic Engineers (IEEE). IEEE Standard for Binary Floating-Point Arithmetic (IEEE Std754-2008) (2008), Revised version of the IEEE Std754-1985 Standard

    Google Scholar 

  2. Arnold, M.G., Collange, S., Defour, D.: Implementing LNS using filtering units of GPUs. In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP (2010),

  3. Chevillard, S., Joldeş, M., Lauter, C.: User’s Manual of the Sollya Tool, Release 2.0,

  4. Chevillard, S., Lauter, C.: A certified infinite norm for the implementation of elementary functions. In: Proceedings of the Seventh International Conference on Quality Software, pp. 153–160 (2007)

    Google Scholar 

  5. Jeannerod, C.-P., Knochel, H., Monat, C., Revy, G., Villard, G.: A new binary floating-point division algorithm and its software implementation on the ST231 processor. In: Proceedings of the 19th IEEE Symposium on Computer Arithmetic, Portland, OR, USA, pp. 95–103 (June 2009)

    Google Scholar 

  6. Lauter, C.: Arrondi correct de fonctions mathématiques. Fonctions univariées et bivariées, certification et automatisation. PhD thesis, École Normale Superieure de Lyon, Université de Lyon (2008)

    Google Scholar 

  7. Lauter, C., de Dinechin, F.: Optimizing polynomials for floating-point implementation. In: Proceedings of the 8th Conference on Real Numbers and Computers, Santiago de Compostela, Spain, pp. 7–16 (July 2008)

    Google Scholar 

  8. Makino, K., Berz, M.: Taylor models and other validated functional inclusion methods. International Journal of Pure and Applied Mathematics 4(4), 379–456 (2003),

    MATH  MathSciNet  Google Scholar 

  9. Moore, R.E.: Methods and Applications of Interval Analysis. Society for Industrial Mathematics, Philadelphia (1979)

    MATH  Google Scholar 

  10. Muller, J.-M., Brisebarre, N., de Dinechin, F., Jeannerod, C.-P., Lefèvre, V., Melquiond, G., Revol, N., Stehlé, D., Torres, S.: Handbook of Floating-Point Arithmetic. Birkhäuser, Boston (2009),

    Google Scholar 

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

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

Download citation

  • DOI:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15581-9

  • Online ISBN: 978-3-642-15582-6

  • eBook Packages: Computer ScienceComputer Science (R0)