A Domain-Theoretic Account of Picard's Theorem
DOI10.1112/S1461157000001315zbMath1112.65065OpenAlexW3020998446MaRDI QIDQ3430832
Publication date: 4 April 2007
Published in: LMS Journal of Computation and Mathematics (Search for Journal in Brave)
Full work available at URL: http://www.lms.ac.uk/jcm/10/lms2005-056/
iterative algorithminitial value problemsvector fieldsalgebraic complexityLipschitz conditionspeed of convergencerational arithmetic
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) Continuous lattices and posets, applications (06B35)
Related Items (6)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Validated solutions of initial value problems for ordinary differential equations
- The primitive recursive analysis of ordinary differential equations and the complexity of their solutions
- On the computational complexity of ordinary differential equations
- A computable ordinary differential equation which possesses no computable solution
- Domain theory and differential calculus (functions of one variable)
- Continuous Lattices and Domains
This page was built for publication: A Domain-Theoretic Account of Picard's Theorem