| Solving parametric semi-algebraic systems (2005) | |||||||||||||||||
Abstract | |||||||||||||||||
| Let Q be the field of rational numbers and Q[u1,..., ud, x1,..., xs] the ring of polynomials in n indeterminates with coefficients in Q and d + s = n (0 ≤ d < n). The indeterminates are divided into two groups: u = (u1,..., ud) and x = (x1,..., xs), which are called parameters and variables, respectively. A polynomial set is a finite set of nonzero polynomials in Q[u, x]. The following system is called a parametric semi-algebraic system (SAS for short). | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||