• 地理2007F

  • 引用4篇文章[sw21348]
  • 定理Geo 2007F。Geo是一个完整的一阶逻辑的证明器。。。微积分,叫做几何的分辨率,这在IJCAR的一篇论文中有描述。。。
  • 嘟嘟博士

  • 参考7篇文章[sw09975]
  • 本文介绍了Dr.Doodle系统,一个交互式的定理使用图解表示法的验证程序。假设。。。度量空间分析领域(a几何的领域,但传统上是用干代数。。。
  • 俗语

  • 引用9篇文章[sw20733]
  • 代数是一个用户界面,它提供几何学洞察。然而,实际的数值计算。。。找到了猜想的反例定理关于Clifford代数。我用了俗语。。。竞争项目,尤其是在线项目几何的计算器,两个MapleV5的符号计算机代数包。。。
  • 引用4篇文章[sw15542]
  • 方法的基础是识别和系统化几何的知识,特定的,受限的搜索和处理。。。生成结构的正确性(使用外部自动定理证明人。。。
  • KCLC公司

  • 1条引用[sw32607]
  • 恒定水平加速度。定义键后几何的因素,KCLC分析拱形。。。上界的平衡方法定理用于计算极限分析。。。
  • 快速

  • 引用3篇文章[sw31729]
  • 基于Bochner的正弦分量定理以及傅里叶变换(Rahimi&Recht,2007)。利用。。。有偏见的估计。我们还提供几何的解释我们的方法,圆差的集合。。。
  • 简单的阿尔维奇观

  • 1条引用[sw21821]
  • 数学软件包SimplicalView,它使用几何的计算近似稳定交叉的算法。。。简单化。我们用单纯形近似定理为发展代数拓扑学的理论基础。。。
  • MASPROP公司

  • 1条引用[sw19887]
  • 利用平行轴的重力定理. 系统重量,系统转动惯量。。。印刷的。唯一需要的输入很简单几何的描述大小和位置的数据。。。
  • 流形正则化

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

  • 引用63篇文章[sw00048]
  • ARMS:一个代数递归多层解算器。。。
  • 公理

  • 在168篇文章中引用[sw00063]
  • 公理是一个通用的计算机代数系统。。。
  • B波利

  • 引用13篇文章[sw00089]
  • 算法812:BPOLY:一个面向对象的库。。。
  • 地籍

  • 引用了77篇文章[sw00097]
  • Cadabra是一个强大的计算机程序。。。
  • 引用88篇[sw00108]
  • CASA是一个专门用于计算。。。