AN EFFECTIVE CAUCHY-PEANO EXISTENCE THEOREM FOR UNIQUE SOLUTIONS

DOI10.1142/S0129054196000129zbMath0854.34010MaRDI QIDQ4886314

Keijo Ruohonen

Publication date: 18 September 1996

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

initial value problemcomputable

Mathematics Subject Classification ID

Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12) Numerical methods for initial value problems involving ordinary differential equations (65L05) Numerical analysis in abstract spaces (65J99)

Related Items (8)

Computational complexity of solving polynomial differential equations over unbounded domains ⋮ Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems ⋮ On Effective Convergence of Numerical Solutions for Differential Equations ⋮ Recursive analysis of singular ordinary differential equations ⋮ Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach ⋮ Computability, noncomputability and undecidability of maximal intervals of IVPs ⋮ Computable analysis with applications to dynamic systems ⋮ Computability of Differential Equations

This page was built for publication: AN EFFECTIVE CAUCHY-PEANO EXISTENCE THEOREM FOR UNIQUE SOLUTIONS