• GEX

  • 32篇参考文献[SW09961]
  • 动态图绘制自动化的 几何 定理 证明发现。作为一个动态几何软件学习各种数学概念。作为一个自动化的推理软件,我们可以建立动态逻辑…通过这些方法,用户可以自动化的 证明 几何 定理发现新的特性定理
  • 水獭

  • 312篇参考文献[SW02904]
  • 现在的自动化的扣除系统水獭设计证明 定理用一阶逻辑表示…逻辑、群论、格理论与代数几何. 注意:水獭/MaCe2不再活跃…
  • 囤积土地

  • 2篇参考文献[SW28 890]
  • 重视人的技术自动化的 几何 定理 证明一个实际的实现。基本原则…定理证明器。系统(原型)被称为HoADDATIF(以人为本)。自动化的推理。。。通过证明学习的工作几何. 它是建立在一个新的微积分基础上的,尤其是…基于逻辑的方法几何 定理 证明比较了系统的特点与…
  • MMP/GEMS

  • 13篇参考文献[SW0584]
  • 自动化包括几何学在内的一些基本几何活动定理 证明几何定理发现…定理证明器MMP/Geor实现Euclidean和微分的吴方法几何学面积法…只有证明难几何定理但也发现新的定理生成简短易读的…结合动态理念几何方法自动化的图表生成…
  • 温克尔克

  • 5篇参考文献[SW0854]
  • 可视化教学工具几何以及制作数学插图。GCLC提供简单…变换,二次曲线,参数曲线,流量控制,自动化的 定理 证明等GCLC背后的基本理念…
  • 地质公园

  • 1篇参考文献[SW26046]
  • 自动化的实现。机械地显示了一种新的方法。证明各种定理平面内几何
  • 埃普吉

  • 3篇参考文献[SW28 722]
  • 数学教学环境。埃皮吉定理 证明环境是一个计算机程序使用…数据库定理和数学规则。该系统结合使用自动化的推理。。。采取了EPGY高中几何课程除了提供一个总的概述…从学生的使用中学到的定理 证明环境中的环境几何课程
  • 地理信息系统

  • 3篇参考文献[SW1256]
  • 平面欧几里得知识元素的管理几何. 教科书在某种意义上是动态的…自动化的. 由结构化和形式化的知识库支持,具有几何定理证明者(GEOTER…内容,发现几何知识数据之间的关系,证明几何定理并生成动态图…
  • 可可

  • 586篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1725篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • Gap

  • 2586篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • GCLC

  • 28篇参考文献[SW0326]
  • 我们提出了GCLC/WIGCLC——一种可视化几何图形的工具。
  • 勒达

  • 247篇参考文献[SW0509]
  • 在核心的计算机科学领域——数据结构…