This document is unfortunately not available for download at the moment.
Rossella Lupacchini , Giovanna Corsi (2008) Deduction, computation, experiment: exploring the effectiveness of proof, Dordrecht, Springer.
Computability and incomputability of differential equations
Guido Gherardi
pp. 223-242
Not implemented yet !