×

zbMATH — the first resource for mathematics

Sollya: an environment for the development of numerical codes. (English) Zbl 1295.65143
Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 28-31 (2010).
Summary: 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.
For the entire collection see [Zbl 1196.68008].

MSC:
65Y15 Packaged methods for numerical algorithms
68W30 Symbolic computation and algebraic computation
Software:
Sollya
PDF BibTeX XML Cite
Full Text: DOI