Elimination Practice: Software Tools and Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2003

Elimination Practice: Software Tools and Applications


The 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.
No file

Dates and versions

inria-00099520 , version 1 (26-09-2006)


  • HAL Id : inria-00099520 , version 1


Dongming Wang. Elimination Practice: Software Tools and Applications. Imperial College Press, London,, VIII-222 p, 2003. ⟨inria-00099520⟩
110 View
0 Download


Gmail Facebook X LinkedIn More