Symbolic derivation of Runge–Kutta order conditions

Tree theory, partitions of integer numbers, combinatorial mathematics and computer algebra are the basis for the construction of a powerful and efficient symbolic package for the derivation of Runge-Kutta order conditions and principal truncation error terms.