论文标题
会议记录第十届国际定理研讨会证明了教育软件的组成部分
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software
论文作者
论文摘要
该EPTCS卷包含2021年7月11日的Thedu'21研讨会的程序，作为Cade-28的卫星事件。由于COVID-19大流行，Cade-28及其所有共同存在的事件发生在虚拟事件。 Thedu'21是一个充满活力的研讨会，吉尔斯·道维克（Ens paris-saclay）邀请了演讲，十一只捐款和一次示威。 研讨会结束后，发出了公开呼吁的论文，并吸引了10份意见书，其中7项已被审稿人接受，并收集到了本次后的卷中。 Thedu系列从中学的直观方式进行平稳过渡到STEM教育中对受试者的更正式方法，同时通过利用定理技术的力量来利用软件支持这种过渡。 数量编辑希望该论文集将进一步促进基于定理的软件的开发，并将合作，以提高计算机科学家，数学家和教育利益相关者之间的相互了解。
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.
