.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Symbolic Rewriting Techniques
. Ed(S): Bronstein, Manuel; Grabmeier, Johannes; Weispfenning, Volker
€ 67.39
FREE Delivery in Ireland
Description for Symbolic Rewriting Techniques
Paperback. Editor(s): Bronstein, Manuel; Grabmeier, Johannes; Weispfenning, Volker. Series: Progress in Computer Science and Applied Logic. Num Pages: 288 pages, biography. BIC Classification: PB. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 15. Weight in Grams: 520.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer Basel Switzerland
Number of pages
288
Condition
New
Series
Progress in Computer Science and Applied Logic
Number of Pages
288
Place of Publication
Basel, Switzerland
ISBN
9783034897792
SKU
V9783034897792
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Symbolic Rewriting Techniques
"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
The DERIVE Newsletter