爱普吉

数学教学的实验环境。EPGY定理证明环境是一个计算机程序,供学生在高中和大学一级的计算机基础、证明密集的数学课程中编写数学证明。该系统可以方便地输入数学表达式,应用标准证明策略和逻辑推理规则,应用数学规则,验证逻辑推理。每门课程都有自己的语言、定理数据库和数学规则。该系统采用自动推理和符号计算相结合的方法来验证各个证明步骤。超过170名参加EPGY高中几何课程的学生使用了这个证明环境。除了提供系统的概述外,我们还描述了我们从学生在EPGY几何课程中使用定理证明环境中学到的知识。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换