Decomposing polynomial systems into simple systems

Dongming Wang
DOI: https://doi.org/10.1006/jsco.1997.0177
IF: 0.97
1998-01-01
Journal of Symbolic Computation
Abstract:A simple system is a pair of multivariate polynomial sets (one set for equations and the other for inequations) ordered in triangular form, in which every polynomial is squarefree and has non-vanishing leading coefficient with respect to its leading variable. This paper presents a method that decomposes any pair of polynomial sets into finitely many simple systems with an associated zero decomposition. The method employs top-down elimination with splitting and the formation of subresultant regular subchains as basic operation.
What problem does this paper attempt to address?