  Functional bases of second-order differential invariants of the Euclid,
Poincar\'e, Galilei, conformal, and projective algebras are constructed. The
results obtained allow us to describe new classes of nonlinear many-dimensional
invariant equations.
