Proof of a Conjecture of Frankl and Füredi.

Gurumurthi V. Ramanan

Published in: J. Comb. Theory, Ser. A (1997)

Keyphrases

theorem proving
theorem prover
information retrieval
genetic algorithm
three dimensional
real time
neural network
computer vision
bayesian networks
objective function
object recognition
expert systems
linear logic
provably correct
mathematical proofs
geometry theorem proving