Fabian Immler. A Verified ODE Solver and Smale's 14th Problem. In Sven Apel, Abraham Bernstein, Felix Freiling, Steffen Hölldobler, Hans-Peter Lenhof, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Björn Scheuermann 0001, Nicole Schweikardt, Myra Spiliopoulou, Sabine Süsstrunk, Klaus Wehrle, editors, Ausgezeichnete Informatikdissertationen 2018. Volume D-19 of LNI, pages 121-130, GI, 2018. [doi]
Abstract is missing.