A validated real function calculus

DOI10.1007/s11786-011-0102-5zbMath1266.65074OpenAlexW2045381394MaRDI QIDQ1949769

Nathalie Revol, Milad Niqui, Peter J. Collins

Publication date: 16 May 2013

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-011-0102-5

zbMATH Keywords

verificationalgorithmsinterval arithmeticfloating pointfunction calculussparse polynomial models

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20)

Related Items (7)

Evolutionary games and periodic fitness ⋮ Tolerance types of interval eigenvectors in max-plus algebra ⋮ AE and EA robustness of interval circulant matrices in max-product algebra ⋮ Tolerance and weak tolerance of interval eigenvectors in fuzzy algebra ⋮ Interval robustness of (interval) max-plus matrices ⋮ Max-plus steady states in discrete event dynamic systems with inexact data ⋮ Strong tolerance of interval eigenvectors in fuzzy algebra

Uses Software

• Coq
• Frama-C
• Gappa
• Flocq
• Cosy
• chebop

Cites Work

• Unnamed Item
• Unnamed Item
• Efficient and accurate computation of upper bounds of approximation errors
• The chebop system for automatic solution of differential equations
• Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
• Computing numerically with functions instead of numbers
• Chebyshev interpolation polynomial-based tools for rigorous computing
• Formal Global Optimisation with Taylor Models
• Combining Coq and Gappa for Certifying Floating-Point Programs
• On the Multivariate Horner Scheme

This page was built for publication: A validated real function calculus