Verifying A Runge-Kutta Solver Using ADOL-C
Date
2003-11
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
This report describes our effort to verify differential equation solvers using automatic differentiation (AD). In particular, the report describes the AD verification technique in general, as well as the application of the technique to a 4th order Runge-Kutta solver using the ADOL-C tool.
Description
Advisor
Degree
Type
Technical report
Keywords
Citation
Edwards, Chantal and Fagan, Mike. "Verifying A Runge-Kutta Solver Using ADOL-C." (2003) https://hdl.handle.net/1911/102009.