Login / Signup

Automated Certification of Implicit Induction Proofs.

Sorin StratulatVincent Demange
Published in: CPP (2011)
Keyphrases
  • automated theorem provers
  • fully automated
  • theorem prover
  • semi automated
  • theorem proving
  • computer algebra
  • information retrieval
  • website
  • third party
  • rule induction
  • human operators
  • concept formation