Sciweavers

ARITH
2005
IEEE

Guaranteed Proofs Using Interval Arithmetic

14 years 5 months ago
Guaranteed Proofs Using Interval Arithmetic
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval splitting and Taylor’s series expansions. Although the tools are designed for the proof assistant system PVS, expertise on PVS is not required. The ultimate goal of the tools is to provide guaranteed proofs of numerical properties with a minimal human-theorem prover interaction.
Marc Daumas, Guillaume Melquiond, César Mu&
Added 24 Jun 2010
Updated 24 Jun 2010
Type Conference
Year 2005
Where ARITH
Authors Marc Daumas, Guillaume Melquiond, César Muñoz
Comments (0)