Proceedings 9th International Workshop on Theorem Proving Components for Educational Software

@article{Quaresma2020Proceedings9I,
  title={Proceedings 9th International Workshop on Theorem Proving Components for Educational Software},
  author={Pedro Quaresma and Walther Neuper},
  journal={Electronic Proceedings in Theoretical Computer Science},
  year={2020}
}
The 6th International Workshop on Theorem proving components for Educational software (ThEdu'17) was held in Gothenburg, Sweden, on 6 Aug 2017. It was associated to the conference CADE26. Topics of interest include: methods of automated deduction applied to checking students' input; methods of automated deduction applied to prove post-conditions for particular problem solutions; combinations of deduction and computation enabling systems to propose next steps; automated provers specific for… 
1 Citations

Number Theory and Axiomatic Geometry in the Diproche System

TLDR
The basic architecture of Diproche is recalled and key features and the working principles of the system are explained in the sample topics of elementary number theory and axiomatic geometry.