Login / Signup
A Rigorous ODE Solver and Smale's 14th Problem.
Warwick Tucker
Published in:
Found. Comput. Math. (2002)
Keyphrases
</>
ordinary differential equations
mathematical foundations
machine learning
learning algorithm
tree search
constraint solving
constraint solver
means ends analysis