A Verified ODE Solver and Smale's 14th Problem

Immler, Fabian

Autor(en):

Vollständige Referenz
BibTeX

Immler, F., (2019). A Verified ODE Solver and Smale's 14th Problem. In: Hölldobler, S. (Hrsg.), Ausgezeichnete Informatikdissertationen 2018. Bonn: Gesellschaft für Informatik e.V.. (S. 121-130).

@inproceedings{mci/Immler2019,
author = {Immler, Fabian},
title = {A Verified ODE Solver and Smale's 14th Problem},
booktitle = {Ausgezeichnete Informatikdissertationen 2018},
year = {2019},
editor = {Hölldobler, Steffen} ,
pages = { 121-130 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}