Validated Explicit and Implicit Runge-Kutta Methods

By Julien Alexandre Dit Sandretto, Alexandre Chapoutot. 2016

108 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/52256eb76fe67901d942c56281997a98e15ad249