Login / Signup

Batch Proofs of Partial Knowledge.

Ryan HenryIan 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