Algorithmic Algebra and Number Theory

Selected Papers From a Conference Held at the University of Heidelberg in October 1997

  • B. Heinrich Matzat
  • Gert-Martin Greuel
  • Gerhard Hiss
Conference proceedings

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Algorithmic Algebraic Number Theory

    1. Front Matter
      Pages 1-1
    2. Johannes Buchmann, Michael J. Jacobson Jr., Stefan Neis, Patrick Theobald, Damian Weber
      Pages 3-10
    3. Gerhard Frey, Michael Müller
      Pages 11-48
    4. B. Heinrich Matzat
      Pages 79-102
    5. Michael E. Pohst
      Pages 103-119
    6. Hans-Georg Rück, Ulrich Tipp
      Pages 121-137
    7. Rudolf Scharlau, Rainer Schulze-Pillot
      Pages 139-170
  3. Algorithmic Commutative Algebra and Algebraic Geometry

    1. Front Matter
      Pages 171-171
    2. Eberhard Becker, Joachim Schmid
      Pages 173-185
    3. Wolfram Decker, Gert-Martin Greuel, Gerhard Pfister
      Pages 187-220
    4. Andreas Dolzmann, Thomas Sturm, Volker Weispfenning
      Pages 221-247
    5. Gregor Kemper, Gunter Malle
      Pages 265-281
    6. Bernd Martin
      Pages 283-293
  4. Algorithmic Group and Representation Theory

    1. Front Matter
      Pages 311-311
    2. Frauke M. Bleher, Wolfgang Kimmerle, Klaus W. Roggenkamp, Martin Wursthor
      Pages 313-329
    3. Richard Dipper, Meinolf Geck, Gerhard Hiss, Gunter Malle
      Pages 331-378
    4. Bettina Eick, E. A. O’Brien
      Pages 379-380
    5. Klaus Lux, Herbert Pahlings
      Pages 381-397
  5. Back Matter
    Pages 435-437

About these proceedings


This book contains 22 lectures presented at the final conference of the German research program "Algorithmic Number Theory and Algebra 1991-1997", sponsored by the Deutsche Forschungsgemeinschaft. The purpose of this research program and the meeting was to bring together developers of computer algebra software and researchers using computational methods to gain insight into experimental problems and theoretical questions in algebra and number theory. The book gives an overview on algorithmic methods and results obtained during this period mainly in algebraic number theory, commutative algebra and algebraic geometry, and group and representation theory. Some of the articles illustrate the current state of the computer algebra systems developed with support from the research program, for example KANT and LiDIA for algebraic number theory, SINGULAR, REDLOG and INVAR for commutative algebra and invariant theory respectively, and GAP, SYSYPHOS and CHEVIE for group and representation theory.


algebra algebraic geometry algorithms computation computer algebra geometry linear optimization number theory

Editors and affiliations

  • B. Heinrich Matzat
    • 1
  • Gert-Martin Greuel
    • 2
  • Gerhard Hiss
    • 3
  1. 1.Interdisziplinäres Zentrum für Wissenschaftliches Rechnender Universität HeidelbergHeidelbergGermany
  2. 2.Fachbereich MathematikUniversität KaiserslauternKaiserslauternGermany
  3. 3.Lehrstuhl D für MathematikRWTH AachenAachenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64670-9
  • Online ISBN 978-3-642-59932-3
  • Buy this book on publisher's site