On Leonid Gurvits's Proof for Permanents.

Monique Laurent Alexander Schrijver

Published in: Am. Math. Mon. (2010)

Keyphrases

theorem prover
data sets
databases
theorem proving
database
neural network
machine learning
feature extraction
objective function
data structure
multiresolution
complete axiomatization