Affine arithmetic and applications to real-number proving

DOI10.1007/978-3-319-22102-1_20zbMATH Open1465.65042OpenAlexW2143848809MaRDI QIDQ2945641FDOQ2945641

Andrew Paul Smith, César Muñoz, Mariano M. Moscato

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

• An Introduction to Affine Arithmetic
• scientific article; zbMATH DE number 1408651
• Theorem Proving in Higher Order Logics
• Affine arithmetic: concepts and applications
• Using PVS to validate the algorithms of an exact arithmetic.

Mathematics Subject Classification ID

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 (10)

• Title not available (Why is that?)
• Refinement to certify abstract interpretations: illustrated on linearization for polyhedra
• 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
• An Introduction to Affine Arithmetic
• Affine arithmetic: concepts and applications
• Title not available (Why is that?)

Uses Software

• PVS

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)