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 Conclusion Decorrelation Improvements Example<strong>Interval</strong>s and decorrelation◮ Let x be [0, 1],However,x × (1 − x) = [0, 1].∀x ∈ x : x · (1 − x) ∈ [0, 1 4 ].◮ The multiple occurrences of an interval are not correlated,hence an overestimation of the final result.◮ In particular, if x is not a singleton,◮ x − x ≠ 0,◮ x ÷ x ≠ 1.Marc Daumas, Guillaume Melquiond, César Muñoz<strong>Guaranteed</strong> <strong>Proofs</strong> <strong>Using</strong> <strong>Interval</strong> <strong>Arithmetic</strong>
Change language