This volume contains papers related to the research conference, "Symbolic Computation: Solving Equations in Algebra, Analysis, and Engineering," held at Mount Holyoke College (MA). It provides a broad range of active research areas in symbolic computation as it applies to the solution of polynomial systems. The conference brought together pure and applied mathematicians, computer scientists, and engineers, who use symbolic computation to solve systems of equations or who develop the theoretical background and tools needed for this purpose. Within this general framework, the conference focused on several themes: systems of polynomials, systems of differential equations, noncommutative systems, and applications.

Readership

Graduate students and research mathematicians interested in symbolic computation, applied mathematics, and engineering.

Table of Contents

• D. A. Cox -- Equations of parametric curves and surfaces via syzygies
• G. M. Díaz-Toca and L. González-Vega -- An explicit description for the triangular decomposition of a zero-dimensional ideal through trace computations
• A. J. Sommese, J. Verschelde, and C. W. Wampler -- Numerical irreducible decomposition using projections from points on the components
• K. Gatermann -- Counting stable solutions of sparse polynomial systems in chemistry
• I. S. Kotsireas -- Central configurations in the Newtonian N-body problem of celestial mechanics
• D. Napoletani -- A power function approach to Kouchnirenko's conjecture
• J. M. Rojas -- Finiteness for arithmetic fewnomial systems
• D. Grigoriev -- Constructing double-exponential number of vectors of multiplicities of solutions of polynomial systems
• C. D'Andrea and I. Z. Emiris -- Computing sparse projection operators
• B. Sturmfels -- Gröbner bases of abelian matrix groups
• G. Boffi and F. Rossi -- Lexicographic Gröbner bases of 3-dimensional transportation problems
• E. Briales, A. Campillo, P. Pisón, and A. Vigneron -- Simplicial complexes and syzygies of lattice ideals
• U. Walther -- Algorithmic determination of the rational cohomology of complex varieties via differential forms
• M. Saito and W. N. Traves -- Differential algebras on semigroup algebras
• M. J. Bardzell -- Noncommutative Gröbner bases and Hochschild cohomology