Symbolic rewriting techniques. Papers from the workshop held in Ascona, Switzerland, April 30 - May 4, 1995 (Q1266856): Difference between revisions

The articles of this volume will be reviewed individually. Indexed articles: \textit{Amrhein, Beatrice; Bündgen, Reinhard; Küchlin, Wolfgang}, Parallel completion techniques, 1-34 [Zbl 0915.68097] \textit{Apel, Joachim}, The computation of Gröbner bases using an alternative algorithm, 35-45 [Zbl 0985.16034] \textit{Bündgen, Reinhard}, Symmetrization based completion, 47-70 [Zbl 0915.68098] \textit{Göbel, Manfred}, On the reduction of \(G\)-invariant polynomials for arbitrary permutation groups \(G\), 71-92 [Zbl 0934.68052] \textit{Green, Ed; Mora, Teo; Ufnarovski, Victor}, The non-commutative Gröbner freaks, 93-104 [Zbl 1020.16017] \textit{Keller, Benjamin J.}, Alternatives in implementing noncommutative Gröbner basis systems, 105-126 [Zbl 0927.16042] \textit{Madlener, Klaus; Reinert, Birgit}, String rewriting and Gröbner bases -- a general approach to monoid and group rings, 127-180 [Zbl 0927.16044] \textit{Mall, Daniel}, Gröbner fans and projective schemes, 181-191 [Zbl 0934.13015] \textit{Marché, Claude}, Normalized rewriting: A unified view of Knuth-Bendix completion and Gröbner bases computation, 193-208 [Zbl 0915.68100] \textit{Martin, Ursula}, New directions for syntactic termination orderings, 209-224 [Zbl 0917.68119] \textit{Pesch, Michael}, Two-sided Gröbner bases in iterated Ore extensions, 225-243 [Zbl 0930.16019] \textit{Pethö, Attila; Stein, Joachim; Weis, Thomas; Zimmer, Horst G.}, Computing the torsion groups of elliptic curves by the method of Gröbner bases, 245-265 [Zbl 0922.11050] \textit{Strogova, Polina}, Finding a finite group presentation using rewriting, 267-276 [Zbl 0915.68099] \textit{Widiger, Alfred}, Deciding degree-four-identities for alternative rings by rewriting, 277-288 [Zbl 0936.17001]