The present volume contains a selection of refereed papers from the MEGA-94 symposium held in Santander, Spain, in April 1994. They cover recent developments in the theory and practice of computation in algebraic geometry and present new applications in science and engineering, particularly computer vision and theory of robotics. The volume will be of interest to researchers working in the areas of computer algebra and symbolic computation as well as to mathematicians and computer scientists interested in gaining access to these topics.

Klappentext

This volume arises from the contributions presented at the MEGA 94 Con­ ference (Metodos Efectivos en Geomctria Algebraica = Effective Methods in Algebraic Geometry), held at the University of Cantabria (Santander, Spain) April 59, 1994. Previous sessions of this biannual conference had taken place in Castiglioncello (Livorno, Italy, 1990) and in Nice (France, 1992) and the cor­ responding proceedings have been published in the Birkhauser series Progress in Mathematics. volumes no. 94 and 109, respectively. The present collection consists of twenty articles involvillg miscellaneous topics concerning algorithms in algebra, algebraic geometry and related appli­ cations. Fourteen of these papers correspond to the contents of the Conference's regular scientific program and have been selected, by the MEGA Committee, from the submitted contributions after a very rigorous refereeing procedure entailing an average of three independent reports per paper and two Program Committee panel discussions before and after the Conference. The remaining six papers (by S. Beck & M. Kreuzer, M. Bronstein, E. V. Flvnn. 1. Itenberg, J.-P. Merlet and 1\1. Seppala) correspond to invited talks and have also been subject to a post-conference refereeing procedure.

Inhalt
Zeros, multiplicities, and idempotents for zero-dimensional systems.- On a conjecture of C. Berenstein and A. Yger.- Computation of the splitting fields and the Galois groups of polynomials.- How to compute the canonical module of a set of points.- Multivariate Bezoutians, Kronecker symbol and Eisenbud-Levine formula.- Some effective methods in pseudo-linear algebra.- Gröbner basis and characteristically nilpotent filiform Lie algebras of dimension 10.- Computing multidimensional residues.- The arithmetic of hyperelliptic curves.- Viro's method and T-curves.- A computational method for diophantine approximation.- An effective method to classify nilpotent orbits.- Some algebraic geometry problems arising in the field of mechanism theory.- Enumeration problems in geometry, robotics and vision.- Mixed monomial bases.- The complexity and enumerative geometry of aspect graphs of smooth surfaces.- Aspect graphs of bodies of revolution with algorithms of real algebraic geometry.- Computational conformal geometry.- An algorithm and bounds for the real effective Nullstellensatz in one variable.- Solving zero-dimensional involutive systems.