swMATH9849MaRDI QIDQ21828FDOQ21828
Author name not available (Why is that?)
Official website: http://sollya.gforge.inria.fr/
Cited In (28)
- FPTaylor
- Polynomials with bounds and numerical approximation
- Polyhedral approximation of multivariate polynomials using Handelman's theorem
- Certification of real inequalities: templates and sums of squares
- Handbook of floating-point arithmetic
- Elementary functions. Algorithms and implementation
- fminunc
- Gappa
- SLEEF
- Flocq
- Intsolver
- NLCertify
- Metalibm
- SoftFloat
- CAMPARY
- Proving tight bounds on univariate expressions with elementary functions in Coq
- FLIP
- CR-LIBM
- FloPoCo
- libcerf
- doubledouble
- DPE
- FunC
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions
- Sollya: an environment for the development of numerical codes
- NLCertify: a tool for formal nonlinear optimization
- Metalibm: a mathematical functions code generator
- Algorithm and Implementation Details for Complementary Error Function
This page was built for software: Sollya
