Login / Signup
Towards Automated Proof Strategy Generalisation
Gudmund Grov
Ewen Maclean
Published in:
CoRR (2013)
Keyphrases
</>
semi automated
automated theorem provers
user interface
machine learning
e learning
digital libraries
data driven
fully automatic
computer aided
fully automated
theorem proving
selection strategy
optimal strategy
linear logic
mathematical proofs