Comparing Mathematical Provers.

Published in: MKM (2003)

Keyphrases

theorem proving
mathematical knowledge
theorem prover
data mining
databases
high level
data structure
expert systems
pairwise
hidden markov models