Sollya: an environment for the development of numerical codes. 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 for this software
References in zbMATH (referenced in 11 articles )
Showing results 1 to 11 of 11.
- Muller, Jean-Michel; Brunie, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vincent; Melquiond, Guillaume; Revol, Nathalie; Torres, Serge: Handbook of floating-point arithmetic (2018)
- Baikov, Nikita: Algorithm and implementation details for complementary error function (2017)
- Benoit, Alexandre; Joldeş, Mioara; Mezzarobba, Marc: Rigorous uniform approximation of D-finite functions using Chebyshev expansions (2017)
- Després, Bruno: Polynomials with bounds and numerical approximation (2017)
- Maréchal, Alexandre; Fouilhé, Alexis; King, Tim; Monniaux, David; Périn, Michael: Polyhedral approximation of multivariate polynomials using handelman’s theorem (2016)
- Martin-Dorel, Érik; Melquiond, Guillaume: Proving tight bounds on univariate expressions with elementary functions in Coq (2016)
- Muller, Jean-Michel: Elementary functions. Algorithms and implementation (2016)
- Magron, Victor; Allamigeon, Xavier; Gaubert, Stéphane; Werner, Benjamin: Certification of real inequalities: templates and sums of squares (2015)
- Kupriianova, Olga; Lauter, Christoph: Metalibm: a mathematical functions code generator (2014)
- Magron, Victor: NLCertify: a tool for formal nonlinear optimization (2014)
- Chevillard, Sylvain; Joldeş, Mioara; Lauter, Christoph: Sollya: an environment for the development of numerical codes (2010)