Skip to main content
SpringerLink
Log in
Birkhäuser
Book cover

Symbolic Rewriting Techniques

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Manuel Bronstein

    1. INRIA, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Volker Weispfenning

    1. FMI Universität Passau, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Johannes Grabmeier

    1. IBM Deutschland Informationssysteme GmbH, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Progress in Computer Science and Applied Logic (PCS, volume 15)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  2. Parallel Completion Techniques

    • Beatrice Amrhein, Reinhard Bündgen, Wolfgang Küchlin
    Pages 1-34

  3. The Computation of Gröbner Bases Using an Alternative Algorithm

    • Joachim Apel
    Pages 35-45

  4. Symmetrization Based Completion

    • Reinhard Bündgen
    Pages 47-70

  5. On the Reduction of G-invariant Polynomials for Arbitrary Permutation Groups G

    • Manfred Göbel
    Pages 71-92

  6. The Non-Commutative Gröbner Freaks

    • E. D. Green, Teo Mora, Victor Ufnarovski
    Pages 93-104

  7. Alternatives in Implementing Noncommutative Gröbner Basis Systems

    • Benjamin J. Keller
    Pages 105-126

  8. String Rewriting and Gröbner Bases — A General Approach to Monoid and Group Rings

    • Klaus Madlener, Birgit Reinert
    Pages 127-180

  9. Gröbner Fans and Projective Schemes

    • Daniel Mall
    Pages 181-191

  10. Normalized Rewriting: A Unified View of Knuth-Bendix Completion and Gröbner Bases Computation

    • Claude Marché
    Pages 193-208

  11. New Directions for Syntactic Termination Orderings

    • Ursula Martin
    Pages 209-224

  12. Two-sided Gröbner Bases in Iterated Ore Extensions

    • Michael Pesch
    Pages 225-243

  13. Computing the Torsion Group of Elliptic Curves by the Method of Gröbner Bases

    • Attila Pethö, Joachim Stein, Thomas Weis, Horst G. Zimmer
    Pages 245-265

  14. Finding a Finite Group Presentation Using Rewriting

    • Polina Strogova
    Pages 267-276

  15. Deciding Degree-Four-Identities for Alternative Rings by Rewriting

    • Alfred Widiger
    Pages 277-288
Back to top

Keywords

About this book

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.

Reviews

"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

Editors and Affiliations

  • INRIA, France

    Manuel Bronstein

  • FMI Universität Passau, Germany

    Volker Weispfenning

  • IBM Deutschland Informationssysteme GmbH, Germany

    Johannes Grabmeier

Bibliographic Information

  • Book Title: Symbolic Rewriting Techniques

  • Editors: Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier

  • Series Title: Progress in Computer Science and Applied Logic

  • DOI: https://doi.org/10.1007/978-3-0348-8800-4

  • Publisher: Birkhäuser Basel

  • eBook Packages: Springer Book Archive

  • Copyright Information: Birkhäuser Verlag 1998

  • Hardcover ISBN: 978-3-7643-5901-0Published: 24 March 1998

  • Softcover ISBN: 978-3-0348-9779-2Published: 23 October 2012

  • eBook ISBN: 978-3-0348-8800-4Published: 11 March 2013

  • Series ISSN: 2297-0576

  • Series E-ISSN: 2297-0584

  • Edition Number: 1

  • Number of Pages: VII, 288

  • Topics: Theory of Computation, Mathematics, general

Publish with us

Policies and ethics

Back to top

Search

Navigation