LACSI at Rice University

Sections

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.

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.

by admin — last modified 2007-12-10 21:05

Copyright © 2003-2010 Los Alamos Computer Science Institute (LACSI),
Rice University, MS 41, 6100 Main Street, Houston, TX 77005.

This material is based on work supported by the Department of Energy under Contract
Nos. 03891-001-99-4G, 74837-001-03 49, 86192-001-04 49, and/or 12783-001-05 49
from the Los Alamos National Laboratory.

Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s)
and do not necessarily reflect the views of the Los Alamos National Laboratory or the Department of Energy.

LACSI Collaborators include: