Read more
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 11. Seppala) correspond to invited talks and have also been subject to a post-conference refereeing procedure.
List of contents
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.
