Login / Signup

Improving QED-Tutrix by Automating the Generation of Proofs.

Ludovic FontPhilippe R. RichardMichel Gagnon
Published in: ThEdu@CADE (2017)
Keyphrases
  • data sets
  • databases
  • asymptotically optimal
  • asymptotic analysis
  • knowledge base
  • first order logic
  • theorem proving