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.