Diproche 系统中的数论与公理几何
逻辑
2020-11-02 v3
摘要
Diproche（“教学式证明检查”）是一个用于支持大学数学教育初始阶段初等证明技能习得的自动系统。Diproche 的一个关键特征——其设计以 M. Cramer 等人开发的 Naproche 系统为范例——是一个自动证明检查器，用于检查以受控自然语言片段写成的证明，该片段专门设计以捕捉数学初学者证明练习的语言。所接受的语言与证明方法均依赖于教学与数学语境，并随教育水平与所提议主题而变化。Carl 与 Krapf 于 2019 年给出了系统的总体介绍。此处，我们简要回顾 Diproche 的基本架构，随后聚焦于阐释 Diproche 在初等数论与公理几何示例主题中的关键特征与工作原理。
引用
@article{arxiv.2006.01794,
title = {Number Theory and Axiomatic Geometry in the Diproche System},
author = {Merlin Carl},
journal= {arXiv preprint arXiv:2006.01794},
year = {2020}
}
备注
In Proceedings ThEdu'20, arXiv:2010.15832