arXiv:2505.04677v1 交叉类型： 摘要：ThEdu 系列旨在实现从中学阶段直观的数学方法到 STEM 教育中更正式的方法的顺利过渡，同时通过利用定理证明技术的力量来支持这一过渡。以下是对本 volumes 如何为这一事业做出贡献的简要说明。第 13 届定理证明组件用于教育软件国际研讨会（ThEdu'24）是 CADE29 的卫星活动，也是 IJCAR 2024 的一部分，在法国南锡举行。ThEdu'24 是一个充满活力的工作坊，邀请了卡内基梅隆大学的 Jeremy Avigad 作了一场邀请报告，还有 14 场提交的演讲。随后，发出了一份征文申请，并吸引了 9 篇提交。其中 8 篇提交已被我们的评审者接受。最终修改后的论文集成了本 volumes。本 volumes 中的贡献是 ThEdu 范围的忠实代表，从更专注于自动推理研究的贡献，不会忽视其在教育环境中的应用潜力，到更专注于自动推理工具和方法在教育环境中的应用的贡献。作为 volumes 的编辑，我们希望这本论文集将进一步促进基于定理证明的软件的发展，并有助于提高计算机科学家、数学家和教育利益相关者之间的相互理解。尽管本 volumes 正在印刷中，下一届 ThEdu 工作坊的筹备工作正在进行中：ThEdu'25 将成为第 30 届国际自动推理大会（CADE-30）的卫星活动，将于 2025 年 7 月 28 日至 8 月 2 日在德国斯图加特举行。