A combinatorial proof of J. West's conjecture.

Serge Dulucq S. Gire O. Guibert

Published in: Discret. Math. (1998)

Keyphrases

theorem prover
data mining
artificial intelligence
expert systems
automated theorem proving
learning algorithm
feature selection
multimedia
objective function
learning environment
computational complexity
probability distribution
theorem proving
mathematical proofs