The primitive recursive analysis of ordinary differential equations and the complexity of their solutions

DOI10.1016/S0022-0000(69)80031-0zbMath0263.34001OpenAlexW2082078125MaRDI QIDQ2561320

J. P. Cleave

Publication date: 1969

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(69)80031-0

Mathematics Subject Classification ID

Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12) Recursive functions and relations, subrecursive hierarchies (03D20) Algorithms in computer science (68W99) Proof theory and constructive mathematics (03F99)

Related Items (5)

The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations ⋮ Recursive function theory and numerical analysis ⋮ Unnamed Item ⋮ A Domain-Theoretic Account of Picard's Theorem ⋮ Computability of Differential Equations

Cites Work

• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
• Recursive analysis
• Unnamed Item
• Unnamed Item

This page was built for publication: The primitive recursive analysis of ordinary differential equations and the complexity of their solutions