Proceedings 6th International Workshop on Theorem proving components for Educational software
Artificial Intelligence
2018-03-05 v1 Computers and Society
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.
Keywords
Cite
@article{arxiv.1803.00722,
title = {Proceedings 6th International Workshop on Theorem proving components for Educational software},
author = {Pedro Quaresma and Walther Neuper},
journal= {arXiv preprint arXiv:1803.00722},
year = {2018}
}