Cargando…

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...

Descripción completa

Detalles Bibliográficos
Autores principales: Bronstein, Manuel, Weispfenning, Volker, Grabmeier, Johannes
Lenguaje:eng
Publicado: Springer 1998
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-3-0348-8800-4
http://cds.cern.ch/record/2006175
_version_ 1780946261406384128
author Bronstein, Manuel
Weispfenning, Volker
Grabmeier, Johannes
author_facet Bronstein, Manuel
Weispfenning, Volker
Grabmeier, Johannes
author_sort Bronstein, Manuel
collection CERN
description 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 and general term-rewriting systems, • the Buchberger algorithm for Gröbner bases, • the Ritt-Wu characteristic set method for ordinary differential equations, and • the Riquier-Janet method for partial differential equations. This volume contains invited and contributed papers to the Symbolic Rewriting Techniques workshop, which was held at the Centro Stefano Franscini in Ascona, Switzerland, from April 30 to May 4, 1995. That workshop brought together 40 researchers from various areas of rewriting techniques, the main goal being the investigation of common threads and methods. Following the workshops, each contribution was formally refereed and 14 papers were selected for publication.
id cern-2006175
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 1998
publisher Springer
record_format invenio
spelling cern-20061752021-04-21T20:23:43Zdoi:10.1007/978-3-0348-8800-4http://cds.cern.ch/record/2006175engBronstein, ManuelWeispfenning, VolkerGrabmeier, JohannesSymbolic rewriting techniquesMathematical Physics and MathematicsSymbolic 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 and general term-rewriting systems, • the Buchberger algorithm for Gröbner bases, • the Ritt-Wu characteristic set method for ordinary differential equations, and • the Riquier-Janet method for partial differential equations. This volume contains invited and contributed papers to the Symbolic Rewriting Techniques workshop, which was held at the Centro Stefano Franscini in Ascona, Switzerland, from April 30 to May 4, 1995. That workshop brought together 40 researchers from various areas of rewriting techniques, the main goal being the investigation of common threads and methods. Following the workshops, each contribution was formally refereed and 14 papers were selected for publication.Springeroai:cds.cern.ch:20061751998
spellingShingle Mathematical Physics and Mathematics
Bronstein, Manuel
Weispfenning, Volker
Grabmeier, Johannes
Symbolic rewriting techniques
title Symbolic rewriting techniques
title_full Symbolic rewriting techniques
title_fullStr Symbolic rewriting techniques
title_full_unstemmed Symbolic rewriting techniques
title_short Symbolic rewriting techniques
title_sort symbolic rewriting techniques
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/978-3-0348-8800-4
http://cds.cern.ch/record/2006175
work_keys_str_mv AT bronsteinmanuel symbolicrewritingtechniques
AT weispfenningvolker symbolicrewritingtechniques
AT grabmeierjohannes symbolicrewritingtechniques