Sollya
From MaRDI portal
Software:21828
No author found.
Related Items (11)
Elementary Functions ⋮ Proving tight bounds on univariate expressions with elementary functions in Coq ⋮ Handbook of Floating-Point Arithmetic ⋮ Polynomials with bounds and numerical approximation ⋮ Algorithm and Implementation Details for Complementary Error Function ⋮ Rigorous uniform approximation of D-finite functions using Chebyshev expansions ⋮ Sollya: An Environment for the Development of Numerical Codes ⋮ Polyhedral Approximation of Multivariate Polynomials Using Handelman’s Theorem ⋮ Certification of real inequalities: templates and sums of squares ⋮ NLCertify: A Tool for Formal Nonlinear Optimization ⋮ Metalibm: A Mathematical Functions Code Generator
This page was built for software: Sollya
