A verified method for solving piecewise smooth initial value problems

Ekaterina Auer, Stefan Kiel, Andreas Rauh. A verified method for solving piecewise smooth initial value problems. Applied Mathematics and Computer Science, 23(4):731-747, 2013. [doi]

Abstract

Abstract is missing.