Algebraic and Geometric Methods in Nonlinear Control Theory