• ε

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

  • 引用了30篇文章[sw02842]
  • GEOTHER(几何)定理provER)是Epsilon的一个模块,是王东明实现的一个环境。。。用于操作和证明的Java几何的 定理. 在GEOTHER a定理是通过。。。形式谓词定理(H,C,X)断言H意味着C,其中。。。对应于几何的假设和结论定理,以及可选的。。。
  • GCLC公司

  • 引用了29篇文章[sw00326]
  • GCLC,有一个内置的几何学 定理直接连接视觉和语义的验证程序。。。
  • 地球物理学

  • 引用24篇文章[sw06216]
  • 软件(DGS),自动定理provers(ATP)和几何学结构、图形和证明。。。几何学结构和正式证明几何学 定理. 我们相信,在帮助下。。。
  • MMP/几何计

  • 引用13篇文章[sw00584]
  • 基本的几何的活动包括几何的 定理证明,几何的 定理发现,以及几何的图表生成。。。定理MMP/Geometer实现了欧几里德几何和微分几何的吴方法,面积法。。。几何的演绎数据库方法。用这些方法。。。只是证明很难几何的 定理但也会发现新的定理生成简短易读的。。。
  • 三峡工程

  • 在10篇文章中引用[sw12327]
  • TGTP-千几何的的问题几何的 定理证明人。三峡工程建设的主要动机是。。。成千上万几何的的问题几何的 定理是为了支持测试和评估。。。几何的自动化定理证明(GATP)系统,以帮助确保性能结果准确地反映。。。
  • 地理视图

  • 引用9篇文章[sw12328]
  • 组合Coq的工具定理用地质绘图工具开发的动态几何。。。平面形式语句的可视化几何学 定理. 声明几何学 定理他们的。。。
  • 阿戈克利普

  • 参考11篇文章[sw07192]
  • 生成正式且可读的证明定理本文介绍了一种用于相干逻辑的证明器ArgoCLP。。。不同的优势几何的 定理证明。首先它足够强大。。。
  • 博特玛

  • 引用9篇文章[sw09243号]
  • 包含根的不等式。大部分定理在“几何的博特玛写的“不平等”。。。
  • 土工织物

  • 引用3篇文章[sw12576]
  • 形式化的知识库,具有几何的 定理校准器(GEOTHER)和动态图生成器(GeoDraw。。。三者之间的关系几何的知识数据,证明几何的 定理,并生成配置的动态图。。。
  • GEX公司

  • 参考33篇文章[sw09961]
  • 动态图绘制与自动几何定理证明和发现。作为一个动态几何软件。。。强大的计算机程序几何的推理。在它的领域内,它邀请与最好的。。。实现的大多数有效方法几何的在过去二十年里引入的推理。。。这些方法,用户可以自动证明几何图形定理,以发现定理...
  • 卡布里3D

  • 引用21篇文章[sw06697]
  • 数学选模定理在这篇文章中,我们展示了ICT的知识和环境。。。化学,模拟金字塔的体积,几何的代数表达式和二次函数的意义。。。
  • VFC包

  • 引用15篇文章[sw16729]
  • 胶合定理. 我们只需要拓扑粘合定理,也就是说,过渡贴图的平滑度。。。虚基本环是代数的而不是几何的(特别是,我们不使用微扰。。。
  • 遍历理论

  • 引用4篇文章[sw28532]
  • 示例来自几何的起源。我们实现了第一个定义和定理遍历理论。。。
  • WinGCLC公司

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

  • 17条引用[sw20733]
  • 代数是一个用户界面,它提供几何学洞察。然而,实际的数值计算。。。找到了猜想的反例定理关于Clifford代数。我用了俗语。。。竞争项目,尤其是在线项目几何的计算器,两个MapleV5的符号计算机代数包。。。
  • Opengeo公司

  • 引用2篇文章[sw12575]
  • 底座由典型几何的知识对象,如定义,定理,以及证明。几个工具。。。
  • 汽车

  • 参考12篇文章[sw13525]
  • 在bimöus中定义双曲变换几何的通过指定它们的固定点和它们的。。。其他变化的词。使用组合定理,汽车可以建立相应的紫红色组。。。