# Proceedings 6th International Workshop on Theorem proving components for Educational software

arXiv: https://arxiv.org/abs/1803.00722 · HTML: https://mlsanity.com/paper/1803.00722/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 2 Mar 2018.

## Built on by (most cited first, 1 of 1)

- [Open Geometry Prover Community Project](https://mlsanity.com/paper/2201.01375/) (2022)

## Abstract (arXiv)

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.