Automated Theorem Proving in Mathematics.

Dominique Pastre

Published in: Ann. Math. Artif. Intell. (1993)

Keyphrases

automated theorem proving
theorem prover
theorem proving
computer algebra
answer set programming
mathematical knowledge
computer science
data sets
inference rules
computer assisted instruction
classical logic
search space
probability distribution
supervised learning
first order logic