• GEX公司

  • 参考33篇文章[sw09961]
  • 动态图绘制和自动化 几何学 定理 证明以及发现。作为一个动态几何学软件。。。学习各种数学概念。作为一个自动化推理软件,我们可以建立动态逻辑。。。使用这些方法,用户可以自动化 证明 几何学 定理,以发现定理...
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 现在的自动化Otter的演绎系统证明 定理在一阶逻辑中陈述。。。逻辑,群论,格理论,代数几何学. 注意:水獭/Mace2不再活跃。。。
  • 囤积

  • 引用2篇文章[sw28890]
  • 强调人的技术自动化 几何学 定理 证明:实际实现。基本原则。。。定理给出了证明器。这个系统(原型)被称为“以人为中心”自动化推理。。。这项工作要通过学习来证明几何学. 它基于一种新的微积分,尤其是。。。基于逻辑的方法几何学 定理 证明,比较了我们的系统和。。。
  • MMP/几何计

  • 引用13篇文章[sw00584]
  • 自动化一些基本的几何活动包括几何定理 证明,几何图形定理正在发现。。。定理prover,MMP/Geometer实现了Wu对欧几里德和微分的方法几何学,面积法。。。只有证明难几何定理但也会发现新的定理生成简短易读的。。。结合动态的思想几何学和方法自动化图表生成。。。
  • WinGCLC公司

  • 引用5篇文章[sw08574]
  • 可视化教学工具几何学以及制作数学插图。GCLC提供简单。。。变换,圆锥曲线,参数曲线,流量控制,自动化 定理 证明等等。GCLC背后的基本思想。。。
  • 地质雷达

  • 1条引用[sw26046]
  • 自动化实现。一种新的方法被证明是机械的证明各种各样的定理在飞机上几何学...
  • 爱普吉

  • 引用3篇文章[SW722号文件]
  • 数学教学环境。爱普吉定理 证明环境是一个计算机程序。。。数据库定理,以及数学规则。系统使用自动化推理。。。上过艾普吉高中几何学当然。除了提供一般概述。。。从学生使用定理 证明环境中的EPGY几何学当然。。。
  • 土工织物

  • 引用3篇文章[sw12576]
  • 平面欧几里得知识元素管理几何学. 教科书是动态的,在这个意义上。。。自动化. 由结构化和形式化的知识库支持,具有定理证明人(GEOTHER。。。内容,发现几何知识数据之间的关系,证明几何的定理,并生成动态图。。。
  • 地质

  • 1条引用[sw33592]
  • 计算机是由自动化 定理校准器(ATP)和交互式定理检定器(ITP)。两者。。。选取欧几里得的案例研究几何学因为它很容易被视觉化,所以有简单的。。。图片。我们提出了欧几里德体系几何学,以及一个图形应用程序geological,类似。。。它允许用户交互学习和证明关于几何设置的属性。。。
  • 公理

  • 在169篇文章中引用[sw00063]
  • 公理是一个通用的计算机代数系统。。。
  • 灰姑娘

  • 在141篇文章中引用[sw00127]
  • 互动式几何学软件。除了支持动态。。。
  • ε

  • 在39篇文章中引用[sw00244]
  • Epsilon是一个在。。。
  • 差距

  • 引用了2702篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • GCLC公司

  • 引用了29篇文章[sw00326]
  • 我们提出了一个可视化几何图形的工具GCLC/WinGCLC。。。
  • 莱达

  • 引用文章258[sw00509]
  • 在计算机科学的核心领域——数据结构。。。
  • 麦考拉2

  • 在1576篇文章中引用[sw00537]
  • 一个致力于支持Macaulay2系统的软件。。。