Symbolic Rewriting Techniques - Bog

Parallel Completion Techniques.- The Computation of Gröbner Bases Using an Alternative Algorithm.- Symmetrization Based Completion.- On the Reduction of G-invariant Polynomials for an Arbitrary Permutation Groups G.- The Non-Commutaive Gröbner Freaks.- Alternatives in Implementing Noncommutative Gröbner Basis Systems.- String Rewriting and Gröbner Bases - A General Approach to Monoid and Group Rings.- Gröbner Fans and Projective Schemes.- Normalized Rewriting: A Unified View of Knuth-Bendix Completion and Gröbner Bases Computation.- New Directions for Syntactic Termination Orderings.- Two-sided Gröbner Bases in Iterated Ore Extensions.- Computing the Torsion Group of Elliptic Curves by the Method of Gröbner Bases.- Finding a Finite Group presentation Using Rewriting.- Deciding Degree-Four-Identities for Alternative Rings by Rewriting.