A Short Algebraic Proof of the Farkas Lemma.

Published in: SIAM J. Optim. (2008)

Keyphrases

genetic algorithm
image processing
linear logic
databases
multiscale
multi agent systems
theorem prover
theorem proving
automated theorem proving
algebraic geometry
johnson lindenstrauss