Title | Symbolic Rewriting Techniques [electronic resource] / edited by Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier |
---|---|
Imprint | Basel : Birkhรคuser Basel : Imprint: Birkhรคuser, 1998 |
Connect to | http://dx.doi.org/10.1007/978-3-0348-8800-4 |
Descript | VII, 288 p. online resource |
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