Verifying A Runge-Kutta Solver Using ADOL-C
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.
Citable link to this pagehttps://hdl.handle.net/1911/102009
MetadataShow full item record
- CAAM Technical Reports