https://inria.hal.science/inria-00099520Wang, DongmingDongmingWangSPACES - Solving problems through algebraic computation and efficient software - INRIA Lorraine - Inria - Institut National de Recherche en Informatique et en Automatique - LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications - Inria - Institut National de Recherche en Informatique et en Automatique - UHP - Université Henri Poincaré - Nancy 1 - Université Nancy 2 - INPL - Institut National Polytechnique de Lorraine - CNRS - Centre National de la Recherche ScientifiqueElimination Practice: Software Tools and ApplicationsHAL CCSD2003softwarecomputer algebralogicielcalcul formelraisonnement géométriquegeometric reasoningélimination polynomialepolynomial elimination[INFO.INFO-OH] Computer Science [cs]/Other [cs.OH]Loria, Publications2006-09-26 09:38:142023-03-24 14:52:482006-09-28 15:22:46enBooks1The first half of the book presents the library Epsilon that has been built up for symbolic polynomial elimination and decomposition with (geometric) applications. It has 8 modules and contains more than 70 functions, which allow one to triangularize systems of multivariate (differential) polynomials, decompose polynomial systems into triangular systems of various kinds (regular, normal, simple, irreducible, or with projection property), decompose algebraic varieties into unmixed or irreducible subvarieties, decompose polynomial ideals into primary components, factorize polynomials over algebraic extension fields, solve systems of polynomial equations and inequations, and handle and prove geometric theorems automatically. The usefulness of the software tools are demonstrated in the second half of the book by a number of selected applications, ranging from qualitative analysis of differential equations in pure mathematics to geometry theorem discovering in automated reasoning and to surface blending and offsetting in computer-aided geometric design. These applications are illuminated with many examples and illustrations. The compact disk distributed with this book contains the entire Epsilon library with documentation, examples, and Maple worksheets.