Login / Signup

Proofs probable.

Neil Savage
Published in: Commun. ACM (2013)
Keyphrases
  • theorem prover
  • theorem proving
  • formal proof
  • formal proofs
  • mathematical proofs
  • data mining
  • machine learning
  • search algorithm
  • feature space
  • expert systems
  • special case
  • medical images
  • mathematical knowledge