Computer Algebra Methods for Equivariant Dynamical Systems [electronic resource] / edited by Karin Gatermann.

Gröbner bases: Buchberger's algorithm -- The consequence of grading -- Definitions and the relation to Gröbner bases -- Computation of a Hilbert series -- The Hilbert series driven Buchberger algorithm -- The computation with algebraic extensions -- Detection of Gröbner bases -- Dynamic Buchberger algorithm -- Elimination -- Algorithms of the computation of invariants and equivariants: Using the Hilbert series -- Invariants -- Equivariants -- Using the nullcone -- Using a homogeneous system of parameters -- Computing uniqueness -- Symmetric bifurcation theory -- Local bifurcation analysis -- An example of secondary Hopf bifurcation -- Orbit space reduction -- Exact computation of steady states -- Differential equations on the orbit space -- Using Noether normalization -- Further reading -- References -- Index.

This book starts with an overview of the research of Gröbner bases which have many applications in various areas of mathematics since they are a general tool for the investigation of polynomial systems. The next chapter describes algorithms in invariant theory including many examples and time tables. These techniques are applied in the chapters on symmetric bifurcation theory and equivariant dynamics. This combination of different areas of mathematics will be interesting to researchers in computational algebra and/or dynamics.