Applying Data Redundancy to Differential Equation Solvers. - Paul Ammann; Dahlard L. Lukes; John C. Knight (Ann. Softw. Eng., 1997)