A Verified ODE Solver and Smale's 14th Problem

dc.contributor.author	Immler, Fabian
dc.contributor.editor	Hölldobler, Steffen
dc.date.accessioned	2021-07-01T10:25:28Z
dc.date.available	2021-07-01T10:25:28Z
dc.date.issued	2019
dc.identifier.isbn	978-3-88579-977-1
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/36728
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2018
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume D-19
dc.title	A Verified ODE Solver and Smale's 14th Problem	de
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	121-130
mci.conference.location	Schoss Dagstuhl, Deutschland
mci.conference.date	26.-29.Mai 2021