Psychological Validity of Schematic Proofs.

Mateja Jamnik Alan Bundy

Published in: Mechanizing Mathematical Reasoning (2005)

Keyphrases

theorem prover
theorem proving
formal proofs
real time
neural network
database
data sets
machine learning
artificial intelligence
decision making
equational theories