Questions tagged [semialgebraic-geometry]

This theorem says that quantifiers over real variables can be eliminated from classical first order formulae built from equations and inequalities between polynomials with rational coefficients, ie in ...

A polynomial $p \in \mathbb{R}[x_1,\dots,x_n]$ is said to be positive on a subset $S$ of $\mathbb{R}^n$ if $p(x) > 0$ for every $x \in S$. The polynomial $p$ is called nonnegative if $p(x) \ge 0$ ...

I do not know whether there is a standard or some traditional ways to decide whether a semialgebraic set is connected or not. One way I know is the cylindrical algebraic decomposition (CAD) algorithm. ...