Runge-Kutta methods, differential algebraic equations, formal theory of partial differential equations, integral manifolds, jet spaces, kaavat, matemaattiset kaavat, matematiikka, overdetermined differential equations, yhtälöt.