Home /Research /Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library
OTHER

Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library

Nathalie Revol, Fabrice Rouillier

Year
2005
Citations
129

Keywords

Interval arithmeticInterval (graph theory)ComputationArbitrary-precision arithmeticArithmeticAlgorithmSaturation arithmeticOverhead (engineering)MathematicsComputer science

Related papers

Browse all OTHER papers