第七届教育软件定理证明组件国际研讨会会议录
计算机科学中的逻辑
2019-04-01 v1 人工智能
摘要
第七届教育软件定理证明组件国际研讨会（ThEdu'18）于 2018 年 7 月 18 日在英国牛津举行，隶属于 2018 年联合逻辑会议（FLoC2018）。ThEdu 研讨会系列的主要目标是联结有意将计算机定理证明（TP）适配教育需求的开发者，并向数学家与数学教育者介绍 TP 在教育软件中的潜力。感兴趣的主题包括：用于检查学生输入的自动演绎方法；用于证明特定问题解后条件的自动演绎方法；演绎与计算结合以使系统能提议下一步的系统；面向动态几何系统的专用自动证明器；数学教育中的证明与证理。ThEdu'18 是一场充满活力的研讨会，含一次邀请报告与六篇投稿，并催生了手头的这期会后论文集。
引用
@article{arxiv.1903.12402,
title = {Proceedings 7th International Workshop on Theorem proving components for Educational software},
author = {Pedro Quaresma and Walther Neuper},
journal= {arXiv preprint arXiv:1903.12402},
year = {2019}
}