Nash functions and manifolds Real algebraic and analytic geometry mathematics