Login / Signup

Proofs of Randomized Algorithms in Coq.

Philippe AudebaudChristine Paulin-Mohring
Published in: MPC (2006)
Keyphrases
  • randomized algorithms
  • theorem prover
  • approximation algorithms
  • lower bound
  • first order logic
  • inference rules
  • worst case
  • randomized algorithm
  • practical problems
  • formal methods
  • data sets
  • support vector
  • np hard