Diagrammatic Proofs.

Norman Y. Foo Maurice Pagnucco Abhaya C. Nayak

Published in: IJCAI (1999)

Keyphrases

theorem proving
theorem prover
formal proof
special case
machine learning
equational theories
formal proofs
decision procedures
probability distribution
preprocessing
database systems
data sets
feature extraction
high level
mathematical knowledge
image processing
mathematical proofs