Symbolic Rewriting Techniques /

Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure of the solutions. Such techniques appear in many important areas of research within computer algebra: the Knuth-Bendix completion for groups, monoids a...

Full description

Bibliographic Details

Main Author:	Bronstein, Manuel
Corporate Author:	SpringerLink (Online service)
Other Authors:	Weispfenning, Volker, Grabmeier, Johannes
Format:	eBook
Language:	English
Published:	Basel : Birkhäuser Basel : Imprint: Birkhäuser, 1998.
Series:	Progress in computer science and applied logic ; 15.
Subjects:	Mathematics. Electronic books.
Online Access:	Connect to the full text of this electronic book