Ein Kriterium für die Konstruktive Lösbarkeit der Differentialgleichung y' = f(x, y)

DOI10.1002/MALQ.19850312106zbMath0553.03037OpenAlexW2103385013MaRDI QIDQ3346308

Jürgen Hauck

Publication date: 1985

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19850312106

Mathematics Subject Classification ID

Other constructive mathematics (03F65) General theory for ordinary differential equations (34A99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Computability, noncomputability and undecidability of maximal intervals of IVPs

This page was built for publication: Ein Kriterium für die Konstruktive Lösbarkeit der Differentialgleichung y' = f(x, y)