Sinossi
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 Grobner 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 held at the Centro Stefano Franscini in Ascona, Switzerland from April 30th to May 4th, 1995. The workshop brought together 40 reseachers 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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
"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
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Symbolic Rewriting Techniques: v. 15
Foto dell'editore
(eds.) Symbolic Rewriting Techniques.
Da: Antiquariat Renner OHG, Albstadt, Germania
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Wie neu. Basel, Birkhäuser (1998). gr.8°. Some figs. 288 p. Hardbound. Progress in Computer Science and Applied Logic, 15. Codice articolo 90864
Compra usato
EUR 25,00
Spedizione EUR 45,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Symbolic Rewriting Techniques
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 920170
Compra usato
EUR 103,63
Spedizione EUR 2,32
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Symbolic Rewriting Techniques (Progress in Computer Science and Applied Logic (PCS))
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783764359010_new
Compra nuovo
EUR 93,64
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Symbolic Rewriting Techniques
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 920170-n
Compra nuovo
EUR 108,25
Spedizione EUR 2,32
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Symbolic Rewriting Techniques
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 920170-n
Compra nuovo
EUR 93,63
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Symbolic Rewriting Techniques
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 920170
Compra usato
EUR 105,06
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Symbolic Rewriting Techniques
Editore:
Springer, Berlin|Springer, Basel, 2003
ISBN 10: 3764359013
ISBN 13: 9783764359010
Nuovo
Rilegato
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. 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 Kn. Codice articolo 908772760
Compra nuovo
EUR 105,66
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Symbolic Rewriting Techniques
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 288 pages. 9.75x6.50x0.75 inches. In Stock. Codice articolo x-3764359013
Compra nuovo
EUR 143,30
Spedizione EUR 14,48
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Symbolic Rewriting Techniques
Editore:
Springer, Berlin, Springer, Basel, 2003
ISBN 10: 3764359013
ISBN 13: 9783764359010
Nuovo
Rilegato
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Neuware - 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. Codice articolo 9783764359010
Compra nuovo
EUR 130,36
Spedizione EUR 63,27
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili