Login / Signup
A proof of hyperbolic van der Waerden conjecture : the right generalization is the ultimate simplification
Leonid Gurvits
Published in:
Electron. Colloquium Comput. Complex. (2005)
Keyphrases
</>
van der
neural network
multiresolution
efficient learning
data mining
genetic algorithm
learning algorithm
image segmentation
support vector
theorem prover
theorem proving
learning machines
mathematical proofs
interactive theorem proving