Abstract
Taylor 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media New York
About this chapter
Cite this chapter
Makino, K., Berz, M. (2002). New Applications of Taylor Model Methods. In: Corliss, G., Faure, C., Griewank, A., Hascoët, L., Naumann, U. (eds) Automatic Differentiation of Algorithms. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-0075-5_43
Download citation
DOI: https://doi.org/10.1007/978-1-4613-0075-5_43
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-6543-6
Online ISBN: 978-1-4613-0075-5
eBook Packages: Springer Book Archive