Laureano Gonzalez-Vega - Böcker
Visar alla böcker från författaren Laureano Gonzalez-Vega. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
1 125 kr
Skickas
Algorithmic and quantitative aspects in real algebraic geometry are becoming increasingly important areas of research because of their roles in other areas of mathematics and computer science. The papers in this volume collectively span several different areas of current research. The articles are based on talks given at the DIMACS Workshop on 'Algorithmic and Quantitative Aspects of Real Algebraic Geometry'. Topics include deciding basic algebraic properties of real semi-algebraic sets, application of quantitative results in real algebraic geometry towards investigating the computational complexity of various problems, algorithmic and quantitative questions in real enumerative geometry, new approaches towards solving decision problems in semi-algebraic geometry, as well as computing algebraic certificates, and applications of real algebraic geometry to concrete problems arising in robotics and computer graphics.This book is intended for researchers interested in computational methods in algebra.
Del 143 - Progress in Mathematics
Algorithms in Algebraic Geometry and Applications
Häftad, Engelska, 2011
536 kr
Skickas inom 10-15 vardagar
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.