New Applications of Taylor Model Methods
AbstractTaylor model methods unify many concepts of high-order computational
differentiation with verification approaches covering the Taylor
remainder term. Not only do they provide local multivariate
derivatives, they also allow for highly efficient and sharp
verification. We present several recent results obtained with Taylor
model methods, including verified optimization, verified quadrature
and verified propagation of extended domains of initial conditions
through ODEs, approaches towards verified solution of DAEs and
PDEs. In all cases, the methods allow the development of new
numeric-analytic tools that efficiently capitalize on the availability
of derivatives and sharp inclusions over extended ranges. Applications
of the methods are given, including global optimization, very
high-dimensional numeric quadrature, particle accelerators, and
dynamics of near-earth asteroids.
K. Makino, M. Berz, in: "Automatic Differentiation: From Simulation to Optimization", G. Corliss, C. Faure, A. Griewank, L. Hascoet, U. Naumann (Eds.) (2001) Springer
DownloadClick on the icon to download the corresponding file.
Download Adobe PDF version (220608 Bytes).
Download Postscript version (397186 Bytes).
Go Back to the reprint server.
Go Back to the home page.
This page is maintained by Ravi Jagasia. Please contact him if there are any problems with it.