The Flow of ODEs

Christoph Traut
Christoph Traut

ITP, pp. 184-199, 2016.

Cited by: 0|Bibtex|Views4
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com

Abstract:

Formal analysis of ordinary differential equations (ODEs) and dynamical systems requires a solid formalization of the underlying theory. The formalization needs to be at the correct level of abstraction, in order to avoid drowning in tedious reasoning about technical details. The flow of an ODE, i.e., the solution depending on initial con...More

Code:

Data:

Your rating :
0

 

Tags
Comments