Computing with Intervals : the Ultimate Symbolic Computation ? - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Computing with Intervals : the Ultimate Symbolic Computation ?


Intervals have been considered by mathematicians for a while, in the study of numerical functions and numerical analysis, But only in the 1960s Moore had the Idea of replacing real numbers by intervals in computations and to study the resulting alternative arithmetics. In the last few decades, it has been used for achieving certified computations, but more surprisingly by numericians designing a lot of methods and algorithms for root finding, systems solving, local and global optimization, etc. Even if they are not yet widely implemented nor well known, these methods have shown their efficiency by succeeding on some challenging problems. In Mathematica, a basic interval arithmetic is implemented. A few classical interval analysis algorithms, namely an extension of the Newton method for one variable root finding, are also available in MathSource in the NumericalMath'IntervalRoots' package. An extensive interface to a powerful C++ library of interval analysis was presented at the Wolfram Technology Conference 2005 by the authors.
No file

Dates and versions

hal-00989873 , version 1 (12-05-2014)


  • HAL Id : hal-00989873 , version 1


Yves Papegay, David Daney. Computing with Intervals : the Ultimate Symbolic Computation ?. Wolfram Technology Conference, 2007, Illinois, United States. ⟨hal-00989873⟩
97 View
0 Download


Gmail Facebook X LinkedIn More