Personal tools
You are here: Home Publications Verifying ODE solvers using Automatic Differentiation
Document Actions

C Edwards and M Fagan (2003)

Verifying ODE solvers using Automatic Differentiation

Rice University, Department of Computational and Applied Mathematics, 6100 Main Street, Houston, TX 77005.

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.

by admin last modified 2007-12-10 21:05
« July 2010 »
Su Mo Tu We Th Fr Sa
123
45678910
11121314151617
18192021222324
25262728293031
 

Powered by Plone

LACSI Collaborators include:

Rice University LANL UH UNM UIUC UNC UTK