Constraint Satisfaction in Ordinary Differential Equations door Micha Janssen