Crossmark

A Verified ODE Solver and the Lorenz Attractor

Crossref DOI link: https://doi.org/10.1007/s10817-017-9448-y

Published Online: 2018-01-22

Published Print: 2018-06

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Immler, Fabian http://orcid.org/0000-0002-5468-1513
Funding

Funding for this research was provided by:

Deutsche Forschungsgemeinschaft (RTG 1480, NI 491/16-1)
License Information

License valid from 2018-01-22