Publication | Closed Access

Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library

Real Data TypeEngineeringMpfi LibraryValidated NumericsApproximate ComputingInterval AnalysisFormal MethodsInterval ComputationComputational ComplexityComputer ScienceApproximation Theory