Regular semi-algebraic system

In computer algebra, a regular semi-algebraic system is a particular kind of triangular system of multivariate polynomials over a real closed field. == Introduction == Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems.