Symbolic Rewriting Techniques
Volker Weispfenning, Johannes Grabmeier, Manuel Bronstein
E-bok
2013718 kr
Symbolic Rewriting Techniques
AvManuel Bronstein,Johannes Grabmeier
Häftad, Engelska, 2012
Del 15 i serien Progress in Computer Science and Applied Logic
554 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Recensioner i media
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Symbolic Rewriting Techniques
Manuel Bronstein, etc., J. Grabmeier, V. Weisfenning, Manuel Bronstein, Johannes Grabmeier
Inbunden, 1998
882 kr
Hoppa över listan
Mer från samma serie
Applied Probability-Computer Science: The Interface Volume 1
Ralph L. Disney, Teunis J. Ott
Inbunden, 1982
548 kr
Applied Probability— Computer Science: The Interface
Ralph L. Disney, Teunis J. Ott
Häftad, 1982
548 kr
Del 4
Notes on Introductory Combinatorics
George Polya, Robert E. Tarjan, Donald R. Woods
Häftad, 1990
885 kr
Del 5
Del 6
Del 7
Del 9
Del 10
Del 11
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Computer Algebra Handbook
Johannes Grabmeier, Erich Kaltofen, Volker Weispfenning
Inbunden, 2002
1 649 kr
Computer Algebra Handbook
Johannes Grabmeier, Erich Kaltofen, Volker Weispfenning
Häftad, 2012
1 649 kr
Symbolic Rewriting Techniques
Volker Weispfenning, Johannes Grabmeier, Manuel Bronstein
E-bok
2013718 kr
Symbolic Rewriting Techniques
Manuel Bronstein, etc., J. Grabmeier, V. Weisfenning, Manuel Bronstein, Johannes Grabmeier
Inbunden, 1998
882 kr
Del 141