• ε

  • 在39篇文章中引用[sw00244]
  • 方程和不等式,以及处理和证明 几何的 定理自动。。。
  • 土工1.1

  • 引用了30篇文章[sw02842]
  • GEOTHER(几何)定理provER)是Epsilon的一个模块,是王东明实现的一个环境。。。用于操作和证明 几何的 定理. 在GEOTHER a定理是通过。。。对应于几何的假设和结论定理,以及可选的。。。为了操纵和证明这个定理. 根据规范,GEOTHER可以自动。。。
  • MMP/几何计

  • 参考第13条[SW584号文件]
  • 基本的几何的活动包括几何的 定理 证明,几何的 定理发现,以及几何的图表生成。。。定理MMP/Geometer实现了欧几里德几何和微分几何的吴方法,面积法。。。方法,我们不仅可以证明困难的几何的 定理但也会发现新的定理...
  • 三峡工程

  • 在10篇文章中引用[sw12327]
  • 测试和评估几何的自动化定理 证明(GATP)系统,以帮助确保性能。。。
  • GEX公司

  • 参考33篇文章[sw09961]
  • 动态图绘制与自动几何定理 证明以及发现。作为一个动态几何软件。。。强大的计算机程序几何的推理。在它的领域内,它邀请与最好的。。。最有效的方法几何的在过去二十年里引入的推理。。。用户可以自动化证明几何学定理,以发现定理,并生成。。。
  • 土工织物

  • 引用3篇文章[sw12576]
  • 形式化的知识库,具有几何的 定理发电机(原始)和大地测量仪。。。发现几何的知识数据,证明 几何的 定理,并生成配置的动态图。。。
  • 博特玛

  • 引用9篇文章[sw09243]
  • 哪一个可以证明或者在一个大类的几何的代数不等式。。。涉及激进分子。大部分定理在“几何的博特玛写的“不平等”。。。
  • 电子几何教材

  • 参考7篇文章[sw08745]
  • 结果教科书。通过整合外部几何的 定理校准器和一个外部动态几何软件。。。系统提供自动证明 定理生成动态图形。。。
  • WinGCLC公司

  • 引用5篇文章[sw08574]
  • 许多的几何学结构,等轴测变换,圆锥曲线,参数曲线,流量控制,自动化定理 证明...
  • VFC包

  • 引用15篇文章[sw16729]
  • 证明适当的胶合定理. 我们只需要拓扑粘合定理,即平滑度。。。虚基本环是代数的而不是几何的(特别是,我们不使用微扰。。。
  • 地质

  • 1条引用[sw33592]
  • 自动化定理校准器(ATP)和交互式定理检定器(ITP)。这两样东西都很难。。。用户交互学习和证明关于几何学设置。。。
  • 引用4篇文章[sw15542]
  • 基于系统化方法几何的知识,特定的,受限的搜索和处理。。。考虑到这种方法证明生成结构的正确性(使用外部自动定理证明人。。。
  • 快速

  • 引用3篇文章[sw31729]
  • 基于Bochner的正弦分量定理以及傅里叶变换(Rahimi&Recht,2007)。利用。。。理论上证明在无偏见和有偏见的估计中。我们还提供几何的解释。。。
  • 流形正则化

  • 1条引用[sw24840]
  • 流形正则化:A几何的从有标签和无标签的例子中学习的框架。我们提议。。。再生核Hilbert空间到证明新代表定理提供了理论依据。。。
  • ACL2

  • 引用276篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 公理

  • 参考170篇文章[sw00063]
  • 公理是一个通用的计算机代数系统。。。