 |
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.
Cited literature [19 references]
https://hal.archives-ouvertes.fr/hal-00164621
Contributor : Marc Daumas <>
Submitted on : Sunday, July 22, 2007 - 10:05:32 AM
Last modification on : Wednesday, November 20, 2019 - 2:44:29 AM
Long-term archiving on: : Thursday, April 8, 2010 - 11:45:25 PM
Contributor : Marc Daumas <>
Submitted on : Sunday, July 22, 2007 - 10:05:32 AM
Last modification on : Wednesday, November 20, 2019 - 2:44:29 AM
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