An application of Taylor models to the Nakao method on ODEs
From MaRDI portal
Publication:849188
DOI10.1007/BF03186540zbMath1185.65119MaRDI QIDQ849188
Nobito Yamamoto, Takashi Komori
Publication date: 25 February 2010
Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jjiam/1265033787
34A34: Nonlinear ordinary differential equations and systems
65L05: Numerical methods for initial value problems involving ordinary differential equations
65G20: Algorithms with automatic result verification
Uses Software
Cites Work
- Rigorously computed orbits of dynamical systems without the wrapping effect
- Efficient control of the dependency problem based on Taylor model methods
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
- Verified integration of dynamics in the solar system.
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item