The theory and practice of computation in algebraic geometry and related domains, from a mathematical point of view, has generated an increasing interest both for its rich theoretical possibilities and its usefulness in applications in science and engineering. In fact, it is one of the master keys for future significant improvement of the computer algebra systems (e.g., Reduce, Macsyma, Maple, Mathematica, Axiom, Macaulay, etc.) that have become such useful tools for many scientists in a variety of disciplines.
The major themes covered in this volume, arising from papers presented at the conference MEGA-92 were:
— Effective methods and complexity issues in commutative algebra, projective geometry, real geometry, and algebraic number theory
— Algebro-geometric methods in algebraic computing and applications.
MEGA-92 was the second of a new series of European conferences on the general theme of Effective Methods in Algebraic Geometry. It was held in Nice, France, on April 21-25, 1992 and built on the themes presented at MEGA-90 (Livorno, Italy, April 17-21, 1990). The next conference — MEGA-94 — will be held in Santander, Spain in the spring of 1994. The Organizing committee that initiatiod and supervises this bi-enniel conference consists of A. Conte (Torino), J. H. Davenport (Bath), A. Galligo (Nice), D. Yu. Grigoriev (Petersburg), J. Heintz (Buenos Aires), W. Lassner (Leipzig), D. Lazard (Paris), H. M. Moller (Hagen), T. Mora (Genova), M. Pohst (Dusseldorf), T. Recio (Santander), J. J. Risler (Paris), M. F. Roy (Rennes), R. Schoof (Utrecht), and С Traverso (Pisa).
During the conference, an informal session was organized, in which some participants were given the opportunity to give short talks on current research, of too informal a nature for inclusion in the volume. In addition, the decision since was made to publish only in English, some excellent papers do not appear here. The following papers given at the conference were omitted from the volume:
Assi (Grenoble): Homogenization and standard bases with minimal
ecart
Bjorck (Stockholm): There are oo + 1152 cyclic 8-roots
