Conference
ODE Software that Computes Guaranteed Bounds on the Solution
Abstract
Validated methods for initial value problems (IVPs) for ordinary differential equations (ODEs) produce bounds that are guaranteed to enclose the true solution of a problem. In this chapter, we briefly survey validated methods for IVPs for ODEs, discuss software issues related to the implementation of a validated ODE solver, and describe the structure of a package for computing rigorous bounds on the solution of an IVP for an ODE.
Authors
Nedialkov NS; Jackson KR
Series
Lecture Notes in Computational Science and Engineering
Volume
10
Pagination
pp. 197-224
Publisher
Springer Nature
Publication Date
2000
DOI
10.1007/978-3-642-57172-5_6
Conference proceedings
Lecture Notes in Computational Science and Engineering
ISSN
1439-7358