Motivations and history of some of my conjectures.

Published in: Discret. Math. (1997)

Keyphrases

theorem prover
data sets
machine learning
image processing
bayesian networks
multiresolution
special case
management system