第八届定理证明教育软件组件国际研讨会会议录
计算机科学中的逻辑
2020-02-28 v1 人工智能
摘要
本 EPTCS 卷收录了 ThEdu'19 研讨会的会议录，该研讨会于 2019 年 8 月 25 日作为 CADE-27 的卫星活动在巴西纳塔尔举办。作为 ThEdu 系列的第八届活动，ThEdu'19 是一个充满活力的研讨会，包含 Sarah Winkler 的特邀报告、四篇投稿以及首届几何自动证明器竞赛。研讨会后发出了公开征稿，吸引了七篇投稿，其中六篇经审稿人接受，并收录于本会后会议录卷中。ThEdu 系列致力于在中学数学的直观做法与 STEM 教育中更形式化的学科方法之间实现平稳过渡，同时通过将定理证明技术的力量用于支持该过渡的软件而加以推动。卷编辑希望本论文集将进一步促进基于定理证明的软件的发展，并有助于增进计算机数学家与教育利益相关方之间的相互理解。
引用
@article{arxiv.2002.11895,
title = {Proceedings 8th International Workshop on Theorem Proving Components for Educational Software},
author = {Pedro Quaresma and Walther Neuper and João Marcos},
journal= {arXiv preprint arXiv:2002.11895},
year = {2020}
}