The Picard Algorithm for Ordinary Differential Equations in Coq.

Evgeny Makarov Bas Spitters

Published in: ITP (2013)

Keyphrases

objective function
learning algorithm
dynamic programming
optimal solution
image processing
multiscale
data analysis
input image