3 problems

There exists an absolute constant $C>0$ such that, for every nonzero polynomial $f\in\mathbb{R}[x]$, the number of distinct real roots of $f$ satisfies…

Let $W$ be an explicit variety, and distinguish explicit close-to-defining equations from explicit defining equations as in the source. Explicit equations conjecture. (a) Any expli…

Let $W\subseteq K^m$ be an explicit variety. A strict separating e.s.o.p. is a strict separating homogeneous system of parameters for the coordinate ring $K[W]$; for a weakly expli…