User: Guest  Login
If you experience problems opening the document, please try this link.
Document type:
Zeitschriftenaufsatz
Author(s):
Immler, Fabian
Title:
A Verified ODE Solver and the Lorenz Attractor
Journal title:
Journal of Automated Reasoning
Year:
2018
Journal volume:
61
Journal issue:
1-4
Pages contribution:
73-111
Fulltext / DOI:
doi:10.1007/s10817-017-9448-y
Publisher:
Springer Science and Business Media LLC
E-ISSN:
0168-74331573-0670
Date of publication:
22.01.2018
 BibTeX