Epsilon: A Library of Software Tools for Polynomial Elimination
Résumé
This article presents a Maple library of functions for decomposing systems of multivariate polynomials into triangular systems of various kinds (regular, simple, or irreducible), with an application package for manipulating and proving geometric theorems.