Sollya: An Environment for the Development of Numerical Codes

DOI10.1007/978-3-642-15582-6_5zbMath1295.65143OpenAlexW65339224MaRDI QIDQ5747851

Ch. Lauter, Sylvain Chevillard, 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 algebranumerical softwarefunction approximationfaithful roundingdevelopment tool

Mathematics Subject Classification ID

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

Related Items (6)

Proving tight bounds on univariate expressions with elementary functions in Coq ⋮ Polynomials with bounds and numerical approximation ⋮ Floating-point arithmetic ⋮ Rigorous uniform approximation of D-finite functions using Chebyshev expansions ⋮ Replacing Branches by Polynomials in Vectorizable Elementary Functions ⋮ Certification of real inequalities: templates and sums of squares

Uses Software

• Sollya

This page was built for publication: Sollya: An Environment for the Development of Numerical Codes