Proceedings 6th International Workshop on Theorem proving components for Educational software
Pedro Quaresma (University of Coimbra), Walther Neuper (IICM at Graz, University of Technology)
TL;DR
The paper summarizes the 6th International Workshop on Theorem proving components for Educational software, highlighting recent advances in automated deduction methods applied to mathematics education and educational software systems.
Contribution
It presents the workshop's topics, contributions, and discussions on automated deduction techniques for educational software and mathematics education.
Findings
Advances in automated deduction for student input checking
Development of provers for dynamic geometry systems
Integration of proof methods in mathematics education
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.