The goal of the library is to formalize various topics in dynamical systems. This includes stability analysis and bifurcation theory. Moreover, we aim to formalize a variety of real-world dynamical systems used as models in engineering and applied sciences.
mcdoll/DynamicalSystems
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|