Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
Immler, Fabian
Titel:
A Verified ODE Solver and the Lorenz Attractor
Zeitschriftentitel:
Journal of Automated Reasoning
Jahr:
2018
Band / Volume:
61
Heft / Issue:
1-4
Seitenangaben Beitrag:
73-111
Volltext / DOI:
doi:10.1007/s10817-017-9448-y
Verlag / Institution:
Springer Science and Business Media LLC
E-ISSN:
0168-74331573-0670
Publikationsdatum:
22.01.2018
 BibTeX