• ε

  • 38篇参考文献[SW0244]
  • 方程和不等式,以及句柄和证明 几何 定理自动…
  • 盖特1.1

  • 30篇参考文献[SW02442]
  • 几何(几何)定理EpSimon模块是一个由董明望实现的环境。Java操作和证明 几何 定理. 在GEOTHER定理是用…对应于几何假设与结论定理和可选的…为了操纵而需要证明这个定理. 从规范,GEOTER可以自动…
  • MMP/GEMS

  • 13篇参考文献[SW0584]
  • 基本几何活动包括几何 定理 证明几何 定理发现和几何图表生成…定理证明器MMP/Geor实现了Euclidean和微分几何的吴方法,面积法…方法,我们不仅可以证明困难的几何 定理但也发现新的定理
  • 阿戈

  • 10篇参考文献[SW07192]
  • 语境中的不同优势几何 定理 证明. 首先它足够强大…
  • TGTP

  • 10篇参考文献[SW12327 ]
  • 测试与评价几何自动化的定理 证明(GATP)系统,以帮助确保性能…
  • GEX

  • 32篇参考文献[SW09961]
  • 动态图形绘制与自动几何定理 证明发现。作为一个动态几何软件…强大的计算机程序几何推理。在其领域内,它邀请与最好的比较…实现大多数有效的方法几何在过去二十年中引入的推理…用户可以自动化证明几何定理发现新的特性定理并产生…
  • 地理信息系统

  • 3篇参考文献[SW1256]
  • 形式化知识库,具有几何 定理证明器(GEOTER)和动态图生成器(GEODRAP)…发现关系几何知识数据,证明 几何 定理并为配置生成动态图…
  • 博特马

  • 8篇参考文献[SW09243]
  • 哪能证明或者在一个广泛的类中驳斥命题。几何代数不等式…涉及激进分子。大部分的定理在“几何“Bottema不等式”
  • 电子几何教材

  • 7篇参考文献[SW0875]
  • 结果教科书。通过整合外部几何 定理证明器和外部动态几何软件…系统提供自动化设施证明 定理并在生成的动态图形生成…
  • 温克尔克

  • 5篇参考文献[SW0854]
  • 许多的几何的构造,等距变换,圆锥曲线,参数曲线,流量控制,自动化定理 证明
  • VFC封装

  • 13篇参考文献[SW16729 ]
  • 证明适当胶合定理. 我们只需要拓扑胶合定理也就是说平滑度…虚拟基本循环是代数的而不是代数的。几何(特别是,我们不使用扰动…
  • ARGO

  • 3篇参考文献[SW1542]
  • 方法基于识别和系统化。几何知识,一个特定的,受限的搜索和处理…考虑方法证明生成的结构的正确性(使用外部自动化)定理进步者…
  • FASMMD

  • 3篇参考文献[ SW31729 ]
  • 基于博克纳的正弦波分量定理傅立叶变换(Raimi&ReCHT,2007)。利用…理论上证明在无偏和有偏估计中。我们还提供了一个几何说明…
  • 流形正则化

  • 1篇参考文献[SW24840]
  • 流形正则化:A几何用于标记和未标记示例的学习框架。我们提议…再生核希尔伯特空间证明新代表定理这提供了理论依据…
  • 可可

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

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