Computability of differential equations - Graça, Daniel (2021)