• ε

  • 39篇参考文献[SW0244]
  • 不等式及其处理与证明几何 定理自动…
  • 盖特1.1

  • 30篇参考文献[SW02442]
  • 几何(几何)定理EpSimon模块是一个由董明望实现的环境。Java操作与证明几何 定理. 在GEOTHER定理是用…形式谓语定理(H,C,X)断言H表示C,其中…对应于几何假设与结论定理和可选的…
  • GCLC

  • 29篇参考文献[SW0326]
  • GCLC,有一个内置几何的 定理证明者直接链接视觉和语义…
  • 大地测量学

  • 23篇参考文献[SW06216]
  • 软件(DGS),自动定理(ATP)和储存库几何的结构、图形和证明…几何的结构与形式证明几何的 定理. 我们相信,在帮助下…
  • MMP/GEMS

  • 13篇参考文献[SW0584]
  • 基本几何活动包括几何 定理证明,几何 定理发现和几何图表生成…定理证明器MMP/Geor实现了Euclidean和微分几何的吴方法,面积法…几何演绎数据库法。用这些方法…只是证明很难几何 定理但也发现新的定理生成简短易读的…
  • TGTP

  • 10篇参考文献[SW12327 ]
  • 千兆几何问题几何 定理进步者。构建TGTP的主要动因…数以千计几何问题几何 定理支持测试和评估…几何自动化的定理证明(GATP)系统,以帮助确保性能结果准确地反映…
  • 地理视野

  • 9篇参考文献[SW12328 ]
  • 结合COQ的工具定理用动态几何绘图工具GEPPLANJ开发证明器。平面形式语句的可视化几何的 定理. 陈述几何的 定理他们的…
  • 阿戈

  • 10篇参考文献[SW07192]
  • 产生正式的和可读的证据定理提出了相干逻辑的证明器,称为ARGOCLP。语境中的不同优势几何 定理证明。首先它足够强大…
  • 博特马

  • 8篇参考文献[SW09243]
  • 包含激进分子的不等式。大部分的定理在“几何“Bottema不等式”
  • 地理信息系统

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

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

  • 21篇参考文献[SW06997 ]
  • 数学建模定理本文介绍了ICT环境中的知识。化学,模拟金字塔的体积,几何代数表达式和二次函数的意义…
  • 温克尔克

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

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

  • 2篇参考文献[SW12575 ]
  • 基地由典型几何知识对象,如定义,定理和证明。几个工具…
  • 12篇参考文献[SW13525]
  • 在A中定义双曲M-毕比斯变换几何通过指定它们的不动点和它们的…其他转换的词汇。组合使用定理汽车可以建立相应的富士集团…
  • GPDOF

  • 8篇参考文献[SW02585 ]
  • 约束条件下的快速分解算法几何约束系统:在三维建模中的应用我们的方法…求解程序,称为R方法,基于定理几何学的GPDOF分解了一个方程组…不易延展几何约束条件下的约束系统。在这…