Guaranteed Proofs Using Interval Arithmetic - LRI
Guaranteed Proofs Using Interval Arithmetic - LRI
Guaranteed Proofs Using Interval Arithmetic - LRI
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
PlanIntroduction <strong>Interval</strong>s Improvements ConclusionIntroduction<strong>Interval</strong> arithmetic and proofsRational interval arithmeticContainment property and proofsElementary functionsNumerical proofs in PVSImproving numerical proofs<strong>Interval</strong>s and decorrelationImprovements to avoid decorrelationExample: bounding a truncation errorConclusionMarc Daumas, Guillaume Melquiond, César Muñoz<strong>Guaranteed</strong> <strong>Proofs</strong> <strong>Using</strong> <strong>Interval</strong> <strong>Arithmetic</strong>