Verifying A Runge-Kutta Solver Using ADOL-C
dc.contributor.author | Edwards, Chantal | |
dc.contributor.author | Fagan, Mike | |
dc.date.accessioned | 2018-06-18T17:51:07Z | |
dc.date.available | 2018-06-18T17:51:07Z | |
dc.date.issued | 2003-11 | |
dc.date.note | November 2003 | |
dc.description.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. | |
dc.format.extent | 8 pp | |
dc.identifier.citation | Edwards, Chantal and Fagan, Mike. "Verifying A Runge-Kutta Solver Using ADOL-C." (2003) <a href="https://hdl.handle.net/1911/102009">https://hdl.handle.net/1911/102009</a>. | |
dc.identifier.digital | TR03-13 | |
dc.identifier.uri | https://hdl.handle.net/1911/102009 | |
dc.language.iso | eng | |
dc.title | Verifying A Runge-Kutta Solver Using ADOL-C | |
dc.type | Technical report | |
dc.type.dcmi | Text |
Files
Original bundle
1 - 1 of 1