In computer algebra, a regular semi-algebraic system is a particular kind of triangular system of multivariate polynomials over a real closed field. (en)
In computer algebra, a regular semi-algebraic system is a particular kind of triangular system of multivariate polynomials over a real closed field. (en)