Synopsis
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 Grobner 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 held at the Centro Stefano Franscini in Ascona, Switzerland from April 30th to May 4th, 1995. The workshop brought together 40 reseachers 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.
"synopsis" may belong to another edition of this title.
Review
"14 contributions can be found within 288 pages, each of them with an extended reference list... Of high value to people who have some experience in this subject matter."
--The DERIVE Newsletter
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Symbolic Rewriting Techniques: v. 15 (Progress in Theoretica...
Stock Image
(eds.) Symbolic Rewriting Techniques.
Seller: Antiquariat Renner OHG, Albstadt, Germany
Seller rating 5 out of 5 stars
Hardcover. Condition: Wie neu. Basel, Birkhäuser (1998). gr.8°. Some figs. 288 p. Hardbound. Progress in Computer Science and Applied Logic, 15. Seller Inventory # 90864
Stock Image
Symbolic Rewriting Techniques (Progress in Computer Science and Applied Logic (PCS))
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783764359010_new
Buy New
£ 77.87
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Symbolic Rewriting Techniques
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 920170
Seller Image
Symbolic Rewriting Techniques
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 920170-n
Buy New
£ 77.86
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Symbolic Rewriting Techniques
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 920170-n
Seller Image
Symbolic Rewriting Techniques
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 920170
Buy Used
£ 87.92
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Symbolic Rewriting Techniques
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 288 pages. 9.75x6.50x0.75 inches. In Stock. Seller Inventory # x-3764359013
Buy New
£ 116.22
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Symbolic Rewriting Techniques
Published by
Springer, Berlin|Springer, Basel, 2003
ISBN 10: 3764359013
ISBN 13: 9783764359010
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. 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 Kn. Seller Inventory # 908772760
Buy New
£ 94.36
£ 42.48 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Symbolic Rewriting Techniques
Published by
Springer, Berlin, Springer, Basel, 2003
ISBN 10: 3764359013
ISBN 13: 9783764359010
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware - 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. Seller Inventory # 9783764359010