A Short Proof of Combinatorial Nullstellensatz.

Mateusz Michalek

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

Keyphrases

theorem proving
machine learning
multimedia
information technology
theorem prover
databases
genetic algorithm
learning algorithm
decision making
image processing
website
case study
artificial neural networks
probabilistic model
combinatorial search
linear logic