Lemma: An order differential equation written in explicit form can be written as a system of first order differential equations. Proof We have
Defining function such that
This is useful because computers are good at solving first order systems of equations.1