Symbolic Rewriting Techniques
- Authorized Dealer
- Ships within 1 business day
- Free 30-Day Returns
- Secure Checkout via Shopify Payments
Details
"Symbolic Rewriting Techniques" by Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning is a mathematics book and learning resource focused on Core Mathematics. Best for teachers, students, and readers looking for stronger mathematical understanding.
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.
Materials + Care
We prioritize quality in selecting the materials for our items, choosing premium fabrics and finishings that ensure durability, comfort, and timeless appeal.
Shipping + Returns
We strive to process and ship all orders in a timely manner, working diligently to ensure that your items are on their way to you as soon as possible.
"Symbolic Rewriting Techniques" by Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning is a mathematics book and learning resource focused on Core Mathematics. Best for teachers, students, and readers looking for stronger mathematical understanding.
Topic: Core Mathematics
Author: Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning
Who this is for:
- Teachers and classroom instructors
- Students building subject mastery
- Readers looking for practical learning support
Why this book matters: It stands out as a practical math resource that helps explain concepts, strengthen problem-solving, and support classroom or independent learning.
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.
| Author | Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning |
| Publisher | Birkhäuser |
| Published | 2012-10-23 |
| ISBN-13 | 9783034897792 |
| Binding | Paperback |
| Pages | 288 |
| Language | English |
| Subjects | Computers |
| Topic | Core Mathematics |
| Series | Progress in Computer Science and Applied Logic |
Format: Paperback
Length: 288 pages
Language: English
Shop by collection
Books
