Affine arithmetic and applications to real-number proving
DOI10.1007/978-3-319-22102-1_20zbMATH Open1465.65042OpenAlexW2143848809MaRDI QIDQ2945641FDOQ2945641
Authors: Andrew Paul Smith, Mariano M. Moscato, César Muñoz 
Publication date: 14 September 2015
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-22102-1_20
Recommendations
Formalization of mathematics in connection with theorem provers (68V20) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20)
Cites Work
- Algorithm 795
- Title not available (Why is that?)
- Introduction to Interval Analysis
- Verified Real Number Calculations: A Library for Interval Arithmetic
- Formalization of Bernstein polynomials and applications to global optimization
- Proving Bounds on Real-Valued Functions with Computations
- Affine arithmetic: concepts and applications
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program
- Title not available (Why is that?)
- Provably correct conflict prevention bands algorithms
- Formal verification of numerical programs: from C annotated programs to mechanical proofs
- Efficient formal verification of bounds of linear programs
- Trusting computations: a mechanized proof from partial differential equations to actual program
- Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
Cited In (13)
- Title not available (Why is that?)
- Refinement to certify abstract interpretations: illustrated on linearization for polyhedra
- A validated real function calculus
- Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
- Self-verified extension of affine arithmetic to arbitrary order
- Using PVS to validate the algorithms of an exact arithmetic.
- Real Algebraic Strategies for MetiTarski Proofs
- A generalization of \(p\)-boxes to affine arithmetic
- Computer-assisted verification of four interval arithmetic operators
- A new algorithm for Chebyshev minimum-error multiplication of reduced affine forms
- An Introduction to Affine Arithmetic
- Affine arithmetic: concepts and applications
- Title not available (Why is that?)
Uses Software
This page was built for publication: Affine arithmetic and applications to real-number proving
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945641)
