Description |
288 p. : ill. ; 24 cm. |
Series |
Progress in computer science and applied logic ; v. 15
|
Bibliography |
Includes bibliographical references. |
Contents |
Parallel completion techniques / Beatrice Amrhein, Reinhard Bundgen, Wolfgang Kuchlin -- Computation of Grobner bases using an alternative algorithm / Joachim Apel -- Symmetrization based completion / Reinhard Bundgen -- On the reduction of G-invariant polynomials for arbitrary permutation groups G / Manfred Gobel -- Non-commutative Grobner freaks / Ed Green, Teo Mora, Victor Ufnarovski -- Alternatives in implementing noncommutative Grobner basis systems / Benjamin J. Keller -- String rewriting and Grobner bases : a general approach to monoid and group rings / Klaus Madlener, Birgit Reinert -- Grobner fans and projective schemes / Daniel Mall -- Normalized rewriting : a unified view of Knuth-Bendix completion and Grobner bases computation / Claude Marche -- New directions for syntactic termination orderings / Ursula Martin -- Two-sided Grobner bases in iterated ore extensions / Michael Pesch -- Computing the torsion group of elliptic curves by the method of Grobner bases / Attila Petho ... [et al.] -- Finding a finite group presentation using rewriting / Polina Strogova -- Deciding degree-four-identities for alternative rings by rewriting / Alfred Widiger. |
Subject |
Rewriting systems (Computer science)
|
|
Grobner bases.
|
|
Numerical analysis -- Data processing
|
Added Author |
Bronstein, Manuel.
|
|
Grabmeier, Johannes.
|
|
Weispfenning, Volker, 1944-
|
ISBN |
3764359013 (Basel : alk. paper) |
|
0817659013 (Boston : pbk. : alk. paper) |
|