Proofs of randomized algorithms in Coq.

Philippe Audebaud Christine Paulin-Mohring

Published in: Sci. Comput. Program. (2009)

Keyphrases

randomized algorithms
theorem prover
lower bound
approximation algorithms
practical problems
formal methods
worst case
inference rules
machine learning
first order logic
randomized algorithm
learning algorithm
linear programming