Elimination Practice: Software Tools and Applications

Dongming Wang 1
1 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Ouvrage (y compris édition critique et traduction)
Imperial College Press, London,, VIII-222 p, 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00099520
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:38:14
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00

Identifiants

  • HAL Id : inria-00099520, version 1

Collections

Citation

Dongming Wang. Elimination Practice: Software Tools and Applications. Imperial College Press, London,, VIII-222 p, 2003. 〈inria-00099520〉

Partager

Métriques

Consultations de la notice

163