Cited in
(28)- 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
- Gappa
- SLEEF
- Flocq
- Intsolver
- NLCertify
- Metalibm
- SoftFloat
- CAMPARY
- FLIP
- CR-LIBM
- FloPoCo
- libcerf
- doubledouble
- DPE
- FunC
- Proving tight bounds on univariate expressions with elementary functions in Coq
- FPTaylor
- fminunc
- 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
