Local algebraic analysis of differential systems