Computer Algebra Methods for Equivariant Dynamical Systems by Karin Gatermann (E

Differential Equations, Dynamical Systems, and Linear Algebra by Hirsch/Smale

Bernardo - Formal Methods for Dynamical Systems 13th International S - X555z

Craigen - Formal Methods for Trustworthy Computer Systems FM89 Rep - X555z

Kushkuley - Geometric Methods in Degree Theory for Equivariant Maps - - X555z

Rand - Perturbation Methods Bifurcation Theory and Computer Algebra - - X555z

Sewell - Computational Methods of Linear Algebra - New paperback or so - X555z

Leitold - Network-Based Analysis of Dynamical Systems Methods for Co - X555z