A Duality Based Proof of the Combinatorial Nullstellensatz.

Published in: Electron. J. Comb. (2009)

Keyphrases

linear programming
theorem prover
linear logic
neural network
theorem proving
multiscale
automated theorem proving
data mining
machine learning
image processing
search space
multiresolution
geometry theorem proving
interactive theorem proving