Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Symbolic Rewriting Techniques

Name: Symbolic Rewriting Techniques
Brand: Springer Basel
SKU: 02116424
Price: 20346 HUF
Availability: InStock
Author: Manuel Bronstein
ISBN: 9783034897792

Manuel Bronstein

Johannes Grabmeier

Volker Weispfenning

Language

English

Book Paperback

Libristo code: 02116424

Publishers Springer Basel, October 2012

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

Libristo code: 02116424

136 b

20 346 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

4 Frogs (4 žabky) Game/Toy

Game

5 557 Ft

Herr der Ringe. Die Gefährten. 2 MP3-CDs John Ronald Reuel Tolkien

Digital

14 397 Ft

Zirkuslektionen Monika Hannawacker

Paperback

5 065 Ft

Dictionnaire des précurseurs en bactériologie les grands savants de l'infiniment petit Renaud

Paperback

18 716 Ft

La Foire - Les Choses superflues de la vie Tieck

Paperback

9 994 Ft

Trottoirs du crépuscule Karen Campbell

Paperback

9 530 Ft

Bruno Lomas VICENTE FABUEL CAVA

Audio CD

9 620 Ft

Die Ziele der Bankenaufsicht in der Bundesrepublik Deutschland. Thomas Niethammer

Paperback

25 099 Ft

Grunes Licht fur die Schiene? Untersuchung des Nachhaltigkeitspotentials des Schienenguterverkehrs und dessen Auswirkungen auf den Modal Split Maria Tebbe

Paperback

8 557 Ft

Auszuge aus Ammianus Marcellinus D. Coste

Paperback

7 102 Ft

HISTORIAS SOBRENATURALES Benson

Paperback

12 347 Ft

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.