Sign in

Challenges and Experiences in Managing Large-Scale Proofs.

Timothy BourkeMatthias DaumGerwin KleinRafal Kolanski
Published in: AISC/MKM/Calculemus (2012)
Keyphrases
  • real world
  • lessons learned
  • small scale
  • case study
  • open issues
  • machine learning
  • key issues
  • real time
  • search engine
  • social media
  • theorem proving
  • technical challenges
  • natural deduction