Proceedings 6th International Workshop on Theorem proving components for Educational software
It tackles the challenge of integrating theorem proving into educational tools for mathematics education, but is incremental as it describes a workshop proceedings.
The paper reports on the 6th International Workshop on Theorem proving components for Educational software (ThEdu'17), which addressed problems in educational software by exploring topics like automated deduction for checking student input and proving post-conditions, with eight contributions presented.
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 dynamic geometry systems; proof and proving in mathematics education. ThEdu'17 was a vibrant workshop, with one invited talk and eight contributions. It triggered the post-proceedings at hand.