Algebra helps Geometry
Characteristic of GeoGebra:
an expression in the algebra view corresponds to an object in the graphics view and vice versa.
• Nash functions
f(x): Rn--------> R
analytic and P(x, f(x))=0, for some polynomial P(x,t)
Nash functions
Quantifier Elimination, projection of real algebraic sets