May 26 – 30 , 1997, Dagstuhl Seminar 9722

Computational Aspects of Commutative Algebra and Algebraic Geometry


E. Becker (Dortmund), W. Decker (Uni-Saarbrücken), D. Eisenbud (Brandeis), H. W. Lenstra (Berkely), B. Trager (IBM)

For support, please contact

Dagstuhl Service Team


Dagstuhl Seminar Report 179

Goals of this Dagstuhl Seminar

Modern computer algebra systems allow the computation of complicated examples in Commutative Algebra, Algebraic Geometry and Arithmetic Geometry. During the last couple of years such computations have helped to predict and check many theorems. Vice versa, inspired by complicated examples coming from theory, computer algebra developers have refined their algorithms and implementations. The main goals of this meeting were to:

  • give developers of computer algebra systems and those who apply computer algebra in their theoretical research the possibility of exchanging ideas,
  • to initiate cooperation between developers of different computer algebra systems,
  • to present new algorithms and systems and recent theoretical developments as well.

In order to achieve our goals we kept the number of talks to roughly four per day. This allowed plenty of time for discussions at a blackboard or in front of a terminal, software demonstrations and introductionary tutorials, or other activities like a meeting on OpenMath.


In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.