Properties of dynamical systems are often specified by properties of solutions to nonlinear systems of equations. For example, bifurcation points correspond to parameter values in a parametrized nonlinear system where the number of such solutions changes.
With interval computations, computer arithmetic can be used to rigorously prove that such dynamical systems have certain properties. The following contexts will be highlighted:
The relative difficulty and practicality of each of these tasks will be discussed.
Connect With Us: