HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Guaranteed Proofs Using Interval Arithmetic

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00164621
Contributor : Marc Daumas Connect in order to contact the contributor
Submitted on : Sunday, July 22, 2007 - 10:05:32 AM
Last modification on : Tuesday, November 23, 2021 - 1:40:13 PM
Long-term archiving on: : Thursday, April 8, 2010 - 11:45:25 PM

File

Daumas_Melquiond_et_Munoz.pdf
Publisher files allowed on an open archive

Identifiers

Collections

Citation

Marc Daumas, Guillaume Melquiond, César Muñoz. Guaranteed Proofs Using Interval Arithmetic. 17th IEEE Symposium on Computer Arithmetic, 2005, Cape Cod, Massachusetts, United States. pp.188-195, ⟨10.1109/ARITH.2005.25⟩. ⟨hal-00164621⟩

Share

Metrics

Record views

119

Files downloads

163