On Mathematicians' Different Standards When Evaluating Elementary Proofs.

Matthew Inglis Juan Pablo Mejia-Ramos Keith Weber Lara Alcock

Published in: Top. Cogn. Sci. (2013)

Keyphrases

automated theorem provers
computer algebra
computer scientists
widely accepted
theorem proving
metadata
formal proof
web services
computer science
iso iec
information technology
data mining
data structure
database systems
case study
image processing
machine learning