Sollya

swMATH9849MaRDI QIDQ21828FDOQ21828

Author name not available (Why is that?)

Cited In (11)

• NLCertify: A Tool for Formal Nonlinear Optimization
• Metalibm: A Mathematical Functions Code Generator
• Polynomials with bounds and numerical approximation
• Polyhedral Approximation of Multivariate Polynomials Using Handelman’s Theorem
• Certification of real inequalities: templates and sums of squares
• Proving tight bounds on univariate expressions with elementary functions in Coq
• Sollya: An Environment for the Development of Numerical Codes
• Elementary Functions
• Handbook of Floating-Point Arithmetic
• Rigorous uniform approximation of D-finite functions using Chebyshev expansions
• Algorithm and Implementation Details for Complementary Error Function

This page was built for software: Sollya