Abstract
The following sections are included: introduction; quantifier elimination; Bernstein expansion; approximation of the solution set; algorithm; examples; conclusions; acknowledgment; and references.

This publication has 0 references indexed in Scilit: