TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 9722

Computational Aspects of Commutative Algebra and Algebraic Geometry

( May 26 – May 30, 1997 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/9722

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



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.


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