Now showing items 1-1 of 1

    • Verifying A Runge-Kutta Solver Using ADOL-C 

      Edwards, Chantal; Fagan, Mike (2003-11)
      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 ...