Which Set Existence Axioms are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations?

Stephen G. Simpson

Published in: J. Symb. Log. (1984)

Keyphrases

artificial intelligence
feature vectors
probability distribution
ordinary differential equations
image processing
multiresolution
dynamic programming
maximum likelihood