TY - JOUR
T1 - Taylor forms - Use and limits
AU - Neumaier, Arnold
N1 - DOI: 10.1023/A:1023061927787
Coden: RCOMF
Affiliations: Institut für Mathematik, Universität Wien, Strudlhofgasse 4, A-1090 Wien, Austria
Adressen: Neumaier, A.; Institut für Mathematik; Universität Wien; Strudlhofgasse 4 A-1090 Wien, Austria; email: [email protected]
Source-File: 506Scopus.csv
Import aus Scopus: 2-s2.0-0037292825
Importdatum: 24.01.2007 11:25:38
22.10.2007: Datenanforderung 1920 (Import Sachbearbeiter)
04.01.2008: Datenanforderung 2054 (Import Sachbearbeiter)
PY - 2003
Y1 - 2003
N2 - This review is a response to recent discussions on the reliable computing mailing list, and to continuing uncertainties about the properties and merits of Taylor forms, multivariate higher degree generalizations of centered forms. They were invented around 1980 by Lanford, documented in detail in 1984 by Eckmann, Koch, and Wittwer, and independently studied and popularized since 1996 by Berz, Makino, and Hoefkens. A highlight is their application to the verified integration of asteroid dynamics in the solar system in 2001. Apart from summarizing what Taylor forms are and do, this review puts them into the perspective of more traditional methods, in particular centered forms, discusses the major applications, and analyzes some of their elementary properties. Particular emphasis is given to overestimation properties and the wrapping effect. A deliberate attempt has been made to offer value statements with appropriate justifications; but all opinions given are my own and might be controversial.
AB - This review is a response to recent discussions on the reliable computing mailing list, and to continuing uncertainties about the properties and merits of Taylor forms, multivariate higher degree generalizations of centered forms. They were invented around 1980 by Lanford, documented in detail in 1984 by Eckmann, Koch, and Wittwer, and independently studied and popularized since 1996 by Berz, Makino, and Hoefkens. A highlight is their application to the verified integration of asteroid dynamics in the solar system in 2001. Apart from summarizing what Taylor forms are and do, this review puts them into the perspective of more traditional methods, in particular centered forms, discusses the major applications, and analyzes some of their elementary properties. Particular emphasis is given to overestimation properties and the wrapping effect. A deliberate attempt has been made to offer value statements with appropriate justifications; but all opinions given are my own and might be controversial.
M3 - Review
SN - 1385-3139
VL - 9
SP - 43
EP - 79
JO - Reliable Computing
JF - Reliable Computing
IS - 1
ER -