Sollya

swMATH9849MaRDI QIDQ21828FDOQ21828

Author name not available (Why is that?)

Cited In (11)

• 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
• Proving tight bounds on univariate expressions with elementary functions in Coq
• 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