Title: Verified integration of linear nth order ODEs using large steps
Abstract: The solution y(x) of an IVP for a linear ODE with analytic coefficient functions is represented as a power series. A high-order Taylor polynomial is used for an approximate numerical solution. The Taylor remainder series is rigorously estimated by some geometric series. The method has been implemented and tested on a computer. Guaranteed enclosures are achieved by taking into account all roundoff errors.
Publication Year: 2006
Publication Date: 2006-09-28
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 3
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot