A Verified ODE Solver and the Lorenz Attractor.

Published in: J. Autom. Reason. (2018)

Keyphrases

cellular automata
fixed point
ordinary differential equations
dynamical systems
dynamic behavior
real world
phase space
real time
support vector
control system
sufficient conditions
multiscale
website
decision making
learning algorithm
chaotic systems
information retrieval