How proofs are prepared at Camelot.

Andreas Björklund Petteri Kaski

Published in: CoRR (2016)

Keyphrases

theorem proving
theorem prover
formal proof
natural deduction
decision procedures
artificial neural networks
special case
equational theories
mathematical proofs
information retrieval
data structure
knowledge representation
inference rules