01Identifies parameter-dependent bifurcations and qualitative changes
02Analyzes local behavior near equilibria and invariant sets
03Maps long-term dynamics and limit sets within phase space
04Integrates with AlgebraicDynamics.jl for compositional modeling
052 GitHub stars
06Evaluates system stability and robustness under perturbation