Effective computability of solutions of ordinary differential equations: the thousand monkeys approach - Collins, Pieter (2008)