Login / Signup
Batch Proofs of Partial Knowledge.
Ryan Henry
Ian Goldberg
Published in:
ACNS (2013)
Keyphrases
</>
partial knowledge
theorem proving
batch mode
theorem prover
batch processing
formal proof
equational theories
mathematical proofs
search algorithm
feature space
model selection
interactive theorem proving