Symbolic Rewriting Techniques

Parallel Completion Techniques.- The Computation Of Grbner Bases Using An Alternative Algorithm.- Symmetrization Based Completion.- On The Reduction Of G-invariant Polynomials For An Arbitrary Permutation Groups G.- The Non-commutaive Grbner Freaks.- Alternatives In Implementing Noncommutative Grbner Basis Systems.- String Rewriting And Grbner Bases - A General Approach To Monoid And Group Rings.- Grbner Fans And Projective Schemes.- Normalized Rewriting: A Unified View Of Knuth-bendix Completion And Grbner Bases Computation.- Directions For Syntactic Termination Orderings.- Two-sided Grbner Bases In Iterated Ore Extensions.- Computing The Torsion Group Of Elliptic Curves By The Method Of Grbner Bases.- Finding A Finite Group Presentation Using Rewriting.- Deciding Degree-four-identities For Alternative Rings By Rewriting.