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. What follows is a brief
description of how the present volume contributes to this enterprise.
The 12th International Workshop on Theorem Proving Components for Educational
Software(ThEdu'23), was a satellite event of the 29th international Conference
on Automated Deduction (CADE 2023), July 1-4, 2023, Rome, Italy. ThEdu'23 was
very successful, with one invited talk, by Yves Bertot (Inria, France), "The
challenges of using Type Theory to teach Mathematics", and seven regular
contributions. An open call for papers was then issued, to which eight
contributions were submitted. Seven submissions have been accepted by our
reviewers, who jointly produced at least three careful reports on each of the
contributions. The resulting revised papers are collected in the present
volume.
We, the volume editors, hope that this collection of papers will further
promote the development of theorem-proving based software, and that it will
allow to improve the mutual understanding between computer scientists,
mathematicians and stakeholders in education.
PC Chairs:Julien Narboux (University of Strasbourg, France); Walther Neuper
(JKU, Johannes Kepler University, Linz, Austria); Pedro Quaresma (University of
Coimbra, Portugal)

该研究论文通过探索定理证明技术在 STEM 教育中的软件支持，以实现从中学的直观数学方式到更正式学科的平滑过渡，并促进计算机科学家、数学家和教育者之间的相互理解。

第 12 届国际定理证明组件教育软件研讨会论文集

Proceedings 12th International Workshop on Theorem proving components  for Educational software

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.

ThEdu'21 workshop proceedings focused on promoting a more formal approach to mathematics in STEM education through software support using theorem-proving technologies.