Symbolic Derivation of Runge-Kutta Methods

Computer algebra provides a powerful tool for research in mathematics and the applied sciences. A symbolic package which may be used to explore and derive Runge-Kutta methods is presented. The package is the first of its kind to make use of the elegant graph-theoretical formalism attributed to Butcher.