CBMS Regional Conference Series in Mathematics 2002; 152 pp; softcover Number: 97 ISBN10: 0821832514 ISBN13: 9780821832516 List Price: US$38 Member Price: US$30.40 All Individuals: US$30.40 Order Code: CBMS/97
 A classic problem in mathematics is solving systems of polynomial equations in several unknowns. Today, polynomial models are ubiquitous and widely used across the sciences. They arise in robotics, coding theory, optimization, mathematical biology, computer vision, game theory, statistics, and numerous other areas. This book furnishes a bridge across mathematical disciplines and exposes many facets of systems of polynomial equations. It covers a wide spectrum of mathematical techniques and algorithms, both symbolic and numerical. The set of solutions to a system of polynomial equations is an algebraic varietythe basic object of algebraic geometry. The algorithmic study of algebraic varieties is the central theme of computational algebraic geometry. Exciting recent developments in computer software for geometric calculations have revolutionized the field. Formerly inaccessible problems are now tractable, providing fertile ground for experimentation and conjecture. The first half of the book gives a snapshot of the state of the art of the topic. Familiar themes are covered in the first five chapters, including polynomials in one variable, Gröbner bases of zerodimensional ideals, Newton polytopes and Bernstein's Theorem, multidimensional resultants, and primary decomposition. The second half of the book explores polynomial equations from a variety of novel and unexpected angles. It introduces interdisciplinary connections, discusses highlights of current research, and outlines possible future algorithms. Topics include computation of Nash equilibria in game theory, semidefinite programming and the real Nullstellensatz, the algebraic geometry of statistical models, the piecewiselinear geometry of valuations and amoebas, and the EhrenpreisPalamodov theorem on linear partial differential equations with constant coefficients. Throughout the text, there are many handson examples and exercises, including short but complete sessions in Maple®, MATLAB®, Macaulay 2, Singular, PHCpack, CoCoA, and SOSTools software. These examples will be particularly useful for readers with no background in algebraic geometry or commutative algebra. Within minutes, readers can learn how to type in polynomial equations and actually see some meaningful results on their computer screens. Prerequisites include basic abstract and computational algebra. The book is designed as a text for a graduate course in computational algebra. ® Waterloo Maple, Inc., Ontario, Canada. ® MATLAB, The MathWorks, Inc., Natick, MA. Singular is a free software distributed under the GNU license. ©Department of Mathematics, and Centre for Computer Algebra, University of Kaiserslautern, Germany. Macaulay 2, © Daniel R. Grayson and Michael E. Stillman (19932001) and is distributed under the GNU license. PHCpack ©1998, Katholieke Universiteit Leuven, Department of Computer Science, Heverlee, Belgium. CoCoA, A. Capani, G. Niesi, L. Robbiano, a system for doing Computations in Commutative Algebra, available via anonymous ftp from: http://cocoa.dima.unige.it. SOSTools is a MATLAB® toolbox and freely available under the GNU license at http://www.cds.caltech.edu/sostools or http://www.aut.ee.ethz.ch/ parrilo/sostools. Readership Graduate students and research mathematicians interested in computational algebra and its applications. Reviews "Methods for solving systems of polynomial equations in the tropical semiring promise to have wideranging applications and have not been treated in monograph before. The book is written in an lively style with many examples, comments, computer algebra sessions and a generous dose of tempting exercises. It can be read with a reasonably good knowledge of basic algebra and is well suited for a lecture course on the graduate level. For the researcher who wants to get an accessible introduction to current techniques in polynomial system solving it can be highly recommended."  Zentralblatt Math Table of Contents  Polynomials in one variable
 Gröbner bases of zerodimensional ideals
 Bernstein's theorem and fewnomials
 Resultants
 Primary decomposition
 Polynomial systems in economics
 Sums of squares
 Polynomial systems in statistics
 Tropical algebraic geometry
 Linear partial differential equations with constant coefficients
 Bibliography
 Index
