Different Proofs are Good Proofs.

Geoff Sutcliffe Cynthia Chang Li Ding Deborah L. McGuinness Paulo Pinheiro da Silva

Published in: EMSQMS@IJCAR (2010)

Keyphrases

theorem prover
theorem proving
formal proofs
data sets
artificial intelligence
search algorithm
formal proof
equational theories
neural network
face recognition
mathematical proofs