Toward Definition of Systematic Criteria for the Comparison of Verified Solvers for Initial Value Problems.

Ekaterina Auer Andreas Rauh

Published in: PPAM (2) (2009)

Keyphrases

databases
website
neural network
probabilistic model
mathematical programming
application domains
computationally hard problems
computer vision
search algorithm
lower bound
optimization problems
combinatorial problems