第六届教育软件定理证明组件国际研讨会会议录
人工智能
2018-03-05 v1 计算机与社会
摘要
第六届教育软件定理证明组件国际研讨会（ThEdu'17）于 2017 年 8 月 6 日在瑞典哥德堡举行，与 CADE26 会议相关联。感兴趣的主题包括：应用于检查学生输入的自动演绎方法；应用于证明特定问题解的后条件的自动演绎方法；演绎与计算相结合以使系统能提出下一步的系统；面向动态几何系统的专用自动证明器；数学教育中的证明与证法。ThEdu'17 是一个充满活力的研讨会，包含一次邀请报告和八篇投稿，它促成了手头的这期会后论文集。
引用
@article{arxiv.1803.00722,
title = {Proceedings 6th International Workshop on Theorem proving components for Educational software},
author = {Pedro Quaresma and Walther Neuper},
journal= {arXiv preprint arXiv:1803.00722},
year = {2018}
}