Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Symbolic Rewriting Techniques

Name: Symbolic Rewriting Techniques
Brand: Springer, Berlin
SKU: 01716359
Price: 106.69 EUR
Availability: InStock
Author: Manuel Bronstein
ISBN: 9783764359010

Manuel Bronstein

Johannes Grabmeier

Volker Weispfenning

Language

English

Book Hardback

Libristo code: 01716359

Publishers Springer, Berlin, January 2013

Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and a... Full description

Libristo code: 01716359

261 b

106.69 € VAT included

In stock at our supplier Shipping in 10-18 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Shakespeare nostro contemporaneo Jan Kott

Paperback

14.69 €

El Papado : breve historia del pontificado Kalyan

Paperback

19.89 €

Die Wahrheit im Morgenlicht Ernest Hemingway

Paperback

18.00 €

Ruhelose Suche nach dem Gluck H. Ardjah

Paperback

5.89 €

Carnets Russes (inédits de 1896) par Pierre MORANE - historien de la Russie ancienne et chroniqueur OGERAU-SOLACROUP

Paperback

35.59 €

Gauloises Pan

Paperback

28.39 €

Unternehmensteuerreform 2008 und ihre Konsequenzen Barbara Schlickenrieder

Paperback

49.50 €

My Fuzzy friends Koala

Toy

50.39 €

Schwarze Padagogik in der Geschichte der Erziehung Andrea Thobe

Paperback

17.95 €

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.