论文标题
会议记录第八届国际定理研讨会证明教育软件的组成部分
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software
论文作者
论文摘要
该EPTC卷包含2019年8月25日在巴西纳塔尔举行的Cade-27卫星事件宣传的Thedu'19研讨会的程序。 Thedu'19代表Thedu系列的第八部分，是一个充满活力的研讨会，莎拉·温克勒（Sarah Winkler）的邀请，四项贡献，以及《几何自动化掠夺》的第一版。 研讨会结束后，发出了公开呼吁的论文，并吸引了七个提交的意见，其中六项已被审稿人接受，并收集在本次审查后的卷中。 Thedu系列从中学的直观方式到STEM教育中对受试者的更正式方法的平稳过渡，同时通过利用定理技术的力量来利用软件支持对这种过渡的支持。 数量编辑希望这一论文收集将进一步促进基于定理的软件的开发，并将合作提高计算机数学家和教育利益相关者之间的相互了解。
This EPTCS volume contains the proceedings of the ThEdu'19 workshop, promoted on August 25, 2019, as a satellite event of CADE-27, in Natal, Brazil. Representing the eighth installment of the ThEdu series, ThEdu'19 was a vibrant workshop, with an invited talk by Sarah Winkler, four contributions, and the first edition of a Geometry Automated Provers Competition. After the workshop an open call for papers was issued and attracted seven submissions, six 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 favoring 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 mathematicians and stakeholders in education.
