Algebraic and Differential Methods for Nonlinear Control Theory