Search for Author All Reviews
	Immler, Fabian     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       A verified ODE solver and the Lorenz attractor Immler F. Journal of Automated Reasoning 61(1-4): 73-111, 2018.  Type: Article Lorenz used a system of ordinary differential equations (ODEs) to study atmospheric dynamics phenomena [1]. He established the great sensitivity of the results obtained by this simplified model to very small, nearly negligible changes ...... Aug 27 2018
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy