Verified Numerical Methods for Ordinary Differential Equations.

Ariel E. Kellison, Andrew W. Appel

Browse the full CAV paper archive.