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

Preprint · Pedro Quaresma, Walther Neuper

- Archive id: arxiv:1803.00722
- Published: 2018-03-02
- Venue: EPTCS 267, 2018
- DOI: https://doi.org/10.4204/eptcs.267
- arXiv: https://arxiv.org/abs/1803.00722
- Source URL: https://arxiv.org/abs/1803.00722
- PDF: https://arxiv.org/pdf/1803.00722
- Provenance: arxiv

## 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.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.