An example on real quantifier elimination
- Zoltán Kovács
For all there exists such that and .
The geometrical meaning of this statement is clearly that the magenta domain always has a point for each value, that is, "horizontally infinite".
What positions of the sliders and ensure that the statement is true?