A constructive theory of differential algebraic geometry based on works of J.F. Ritt with particular applications to mechanical theorem-proving of differential geometries