Del 15 i serien Progress in Computer Science and Applied Logic
Symbolic Rewriting Techniques
Häftad, Engelska, 2012
729 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2012-10-23
- Mått170 x 244 x 17 mm
- Vikt522 g
- FormatHäftad
- SpråkEngelska
- SerieProgress in Computer Science and Applied Logic
- Antal sidor288
- FörlagSpringer Basel
- ISBN9783034897792
Tillhör följande kategorier
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
1 159 kr
Hoppa över listan
Mer från samma serie
Del 4
Notes on Introductory Combinatorics
George Polya, Robert E. Tarjan, Donald R. Woods
Häftad, 1990
1 159 kr
Applied Probability-Computer Science: The Interface Volume 1
Ralph L. Disney, Teunis J. Ott
Inbunden, 1982
719 kr
Applied Probability— Computer Science: The Interface
Ralph L. Disney, Teunis J. Ott
Häftad, 1982
719 kr
Del 5
Del 6
Del 7
Del 9
Del 10
Del 11
Hoppa över listan
Du kanske också är intresserad av
Computer Algebra Handbook
Johannes Grabmeier, Erich Kaltofen, Volker Weispfenning
Inbunden, 2002
2 159 kr
Computer Algebra Handbook
Johannes Grabmeier, Erich Kaltofen, Volker Weispfenning
Häftad, 2012
2 159 kr
Symbolic Rewriting Techniques
Manuel Bronstein, etc., J. Grabmeier, V. Weisfenning, Manuel Bronstein, Johannes Grabmeier
Inbunden, 1998
1 159 kr
Del 141
Del 141
Del 7
Del 25
- Nyhet
Vid tänkandets gräns : meningen med människan i en tid av artificiell intelligens
Sara Öhrvall
Inbunden, 2026
399 kr