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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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
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), http://hal.archives-ouvertes.fr/hal-00423434
Chevillard, S., Joldeş, M., Lauter, C.: User’s Manual of the Sollya Tool, Release 2.0, http://sollya.gforge.inria.fr/
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)
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)
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)
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)
Makino, K., Berz, M.: Taylor models and other validated functional inclusion methods. International Journal of Pure and Applied Mathematics 4(4), 379–456 (2003), http://bt.pa.msu.edu/pub/papers/TMIJPAM03/TMIJPAM03.pdf
Moore, R.E.: Methods and Applications of Interval Analysis. Society for Industrial Mathematics, Philadelphia (1979)
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), http://www.springer.com/birkhauser/mathematics/book/978-0-8176-4704-9
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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. https://doi.org/10.1007/978-3-642-15582-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-15582-6_5
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)