埃普吉

数学教学的证明环境。EpGy定理证明环境是一个计算机程序,学生使用它来编写数学证明,在高中和大学水平的计算机基础,证明密集的数学课程的选择。该系统允许数学表达式的容易输入、标准证明策略和逻辑推理规则的应用、数学规则的应用以及逻辑推理的验证。每门课程都有自己的语言、定理库和数学规则。该系统使用自动推理和符号计算的组合来验证个体证明步骤。证明环境已被超过170名学生谁采取了EPGY高中几何课程。除了提供系统的一般性概述外,我们还描述了学生在EPGY几何课程中使用定理证明环境所学到的东西。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。


ZBMaCT中的参考文献(3篇文章中引用)

显示结果1至3的3。
按年份排序(引文

  1. 比林斯利、威廉、鲁滨孙、彼得:《智能图书》中使用Mthistle和伊莎贝尔/ HOL的学生证明练习(2007)
  2. Sommer,李察;NUKOLS,格雷戈瑞:数学教学的证明环境(2004)伊波尔特
  3. McMath,戴维;Rozenfeld,玛丽安娜;Sommer,李察:编写普通数学证明的计算机环境(2001)