Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides.

Olivier Bournez, Alonso Nez

Browse the full ISSAC paper archive.