Toward Definition of Systematic Criteria for the Comparison of Verified Solvers for Initial Value Problems.

Ekaterina Auer, Andreas Rauh

Browse the full PPAM paper archive.