Real Quantifier Elimination in the Classroom - Asian Technology ...
Abstract. We present the experimental command RealQuantifierElimination in GeoGebra. Discovery. The command provides quantifier elimination over the reals.
Part of the document
Abstract. We present the experimental command RealQuantifierElimination in GeoGebra. Discovery. The command provides quantifier elimination over the reals.
