Proceedings 10th International Workshop on Theorem Proving Components for Educational Software

TL;DR

This volume presents proceedings from the ThEdu'21 workshop focused on integrating theorem-proving technologies into STEM education to facilitate a transition from intuitive to formal mathematical understanding, especially in educational software.

Contribution

It introduces recent research and developments in theorem-proving tools tailored for educational purposes, promoting interdisciplinary collaboration in STEM education.

Findings

Enhanced software support for formal mathematics in education

Promoted interdisciplinary collaboration between computer scientists and educators

Contributed to the development of theorem-proving based educational tools

Abstract

This EPTCS volume contains the proceedings of the ThEdu'21 workshop, promoted on 11 July 2021, as a satellite event of CADE-28. Due to the COVID-19 pandemic, CADE-28 and all its co-located events happened as virtual events. ThEdu'21 was a vibrant workshop, with an invited talk by Gilles Dowek (ENS Paris-Saclay), eleven contributions, and one demonstration. After the workshop an open call for papers was issued and attracted 10 submissions, 7 of which have been accepted by the reviewers, and collected in the present post-proceedings volume. The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favouring software support for this transition by exploiting the power of theorem-proving technologies. The volume editors hope that this collection of papers will further promote the development of theorem-proving based software, and that it will collaborate on improving mutual understanding between computer scientists, mathematicians and stakeholders in education.