论文标题
Diproche系统中的数字理论和公理几何形状
Number Theory and Axiomatic Geometry in the Diproche System
论文作者
论文摘要
Diproche（“教学证明检查”）是一种自动系统，用于支持在数学大学教育的初始阶段获得基础证明技能的获得。 Diproche的一个关键功能是由M. Cramer和其他人开发的Naproche系统的示例设计的 - 是自动证明检查器，用于用可控的自然语言片段编写的证明，专门旨在捕获初学者在数学中的证明练习的语言。 公认的语言和证明方法都取决于教义和数学上下文，并随教育程度和所提出的主题而变化。通常在Carl and Krapf 2019中给出了该系统的总体呈现。在这里，我们简要回忆起Diproche的基本结构，然后专注于在基本数字理论和Axiomanic几何形状的示例主题中解释关键特征和Diproche的工作原理。
Diproche ("Didactical Proof Checking") is an automatic system for supporting the acquistion of elementary proving skills in the initial phase of university education in mathematics. A key feature of Diproche - which is designed by the example of the Naproche system developed by M. Cramer and others - is an automated proof checker for proofs written in a controlled fragment of natural language specifically designed to capture the language of beginners' proving exercises in mathematics. Both the accepted language and proof methods depend on the didactical and mathematical context and vary with the level of education and the topic proposed. An overall presentation of the system in general was given in Carl and Krapf 2019. Here, we briefly recall the basic architecture of Diproche and then focus on explaining key features and the working principles of Diproche in the sample topics of elementary number theory and axiomatic geometry.
