Guaranteed Proofs Using Interval Arithmetic - LRI
Guaranteed Proofs Using Interval Arithmetic - LRI
Guaranteed Proofs Using Interval Arithmetic - LRI
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Introduction <strong>Interval</strong>s Improvements ConclusionConclusion◮ <strong>Interval</strong> arithmetic can be used as a formal foundation forproofs by approximation. Our implementation as a PVSlibrary provides a high level of confidence.Marc Daumas, Guillaume Melquiond, César Muñoz<strong>Guaranteed</strong> <strong>Proofs</strong> <strong>Using</strong> <strong>Interval</strong> <strong>Arithmetic</strong>