• MMP/几何计

  • 引用13篇文章[sw00584]
  • 几何的活动包括几何的 定理证明,几何的 定理 发现,和几何的图表生成。。。只是证明很难几何的 定理而且发现新的定理生成简短易读的。。。
  • GEX公司

  • 参考第33条[SW091号文件]
  • 图形绘制与自动几何定理证明和发现. 作为一个动态几何软件。。。强大的计算机程序几何的推理。在它的领域内,它邀请与最好的。。。实现的大多数有效方法几何的在过去的二十年里。。。方法,用户可以自动证明几何图形定理,至发现的新特性定理...
  • 土工织物

  • 引用3篇文章[sw12576]
  • 形式化的知识库,具有几何的 定理校准器(GEOTHER)和动态图生成器(GeoDraw。。。教科书内容,发现三者之间的关系几何的知识数据,证明几何的 定理,并生成动态图。。。
  • 电子几何教材

  • 参考7篇文章[sw08745]
  • 查看或打印,并用于自动发现知识数据之间的关系。一个接口。。。结果教科书。通过整合外部几何的 定理校准器和一个外部动态几何软件。。。
  • PGB公司

  • 参考22篇文章[sw00704]
  • 我们描述了一个新的软件包,名为PGB。。。
  • 单数

  • 引用于1356篇文章[sw00866]
  • 奇异是一个计算机代数系统(CAS)为。。。
  • UCI毫升

  • 在2971篇文章中引用[sw04074]
  • 加州大学欧文机器学习知识库。我们目前维持。。。
  • 核心机器

  • 引用23条[sw04754]
  • Kernel-Machines.Org软件链接Kernel-Machines.Org首页:这个页面是。。。
  • 朱诺-2

  • 参考11篇文章[sw07216]
  • 基于约束的illustrator的基础。谈话。。。
  • OEIS

  • 在3307篇文章中引用[sw07248]
  • 整数序列的在线百科全书。这个。。。