• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Symbolic Rewriting Techniques

Symbolic Rewriting Techniques

Hardcover

Series: Operator Theory, Advances and Applications, Book 15

General MathematicsProgramming

ISBN10: 3764359013
ISBN13: 9783764359010
Publisher: Springer Nature
Published: Apr 25 2003
Pages: 300
Weight: 1.49
Height: 0.69 Width: 6.69 Depth: 9.61
Language: English
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.

Also in

Programming