Computing with Intervals : the Ultimate Symbolic Computation ? - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Computing with Intervals : the Ultimate Symbolic Computation ?

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00989873 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More