Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL.

Fabian Immler, Johannes Hlzl

Browse the full ITP paper archive.