Sollya: an environment for the development of numerical codes

DOI10.1007/978-3-642-15582-6_5MaRDI QIDQ5747851zbMATH OpenOpenAlexFDO

Authors Sylvain Chevillard, Christoph Lauter, Mioara Joldes

Publication date 14 September 2010

Published in Mathematical Software – ICMS 2010 (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-00761644/file/SollyaExtendedAbstract.pdf

zbMATH Keywords

computer algebradevelopment toolfaithful roundingfunction approximationnumerical software

Mathematics Subject Classification ID

Packaged methods for numerical algorithms (65Y15) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1860725
• Numerical Software with Result Verification
• scientific article; zbMATH DE number 434845
• Metalibm: a mathematical functions code generator
• scientific article; zbMATH DE number 2152730

Cited in

(9)

• Polynomials with bounds and numerical approximation
• Certification of real inequalities: templates and sums of squares
• Replacing branches by polynomials in vectorizable elementary functions
• Metalibm: a mathematical functions code generator
• Rigorous uniform approximation of D-finite functions using Chebyshev expansions
• Proving tight bounds on univariate expressions with elementary functions in Coq
• Floating-point arithmetic
• An exchange algorithm for optimizing both approximation and finite-precision evaluation errors in polynomial approximations
• Algorithm 1057: FunC: a minimally invasive C++ library for the generation and analysis of univariate lookup tables

Describes a project that uses

Uses Software

• Sollya

This page was built for publication: Sollya: an environment for the development of numerical codes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747851)