Hyperbolic Polynomials Approach to Van der Waerden/Schrijver-Valiant like Conjectures : \\ Sharper Bounds , Simpler Proofs and Algorithmic Applications.
Leonid GurvitsPublished in: Electron. Colloquium Comput. Complex. (2006)
Keyphrases
- van der
- theorem prover
- upper bound
- learning theory
- stable set
- lower bound
- theorem proving
- boolean functions
- lower and upper bounds
- upper and lower bounds
- mathematical proofs
- error bounds
- pac learning
- worst case
- vc dimension
- concept classes
- first order logic
- hermite transform
- formal proof
- low order
- equational theories
- multi class
- confidence bounds
- blocks world
- computational learning theory
- inference rules
- hypothesis space
- positive examples
- partial differential equations