• GEX公司

  • 参考第33条[SW091号文件]
  • 专家(GEX)是一个动态的软件图表绘图和自动几何定理证明。。。强大的计算机程序几何的推理。在它的领域内,它邀请与最好的。。。实现的大多数有效方法几何的在过去的二十年里。。。动态视觉模型的类别:几何的变换,轨迹一代,图表函数和位点一代...
  • MMP/几何计

  • 引用13篇文章[sw00584]
  • 定理证明,几何的定理发现,以及几何的 图表 一代. 作为一个定理证明器,MMP/Geometer实现了。。。定理和生成简短易读的证明。作为一个几何的 图表编辑,MMP/Geometer。。。用于输入和操作几何的 图表方便和互动,通过结合的想法。。。动态几何与自动化方法图表 一代...
  • CGAL公司

  • 引用第348条[sw00118]
  • CGAL用于各种需要几何的计算,例如:计算机图形学,科学可视化。。。医学影像学,机器人学和运动规划,mesh一代,数值方法。。。更多关于使用。。。周期三角剖分(3D),Voronoi图表(对于二维和三维点,二维加权Voronoi。。。网格一代(二维Delaunay网格一代以及三维曲面和体积网格一代,皮肤表面。。。
  • 土工织物

  • 引用3篇文章[sw12576]
  • 基地,有一个几何的定理证明器(GEOTHER)与动态图表 发电机(GeoDraw)集成,与。。。几何的知识数据,证明几何的定理,以及生成动态图表对于教科书中的配置,自动。。。
  • 土工1.1

  • 引用了30篇文章[sw02842]
  • 对应于几何的假设和定理的结论。。。画一个或几个图表为了定理-画出来的图表可能是动画。。。五个代数证明;翻译生成几何/谓词形式的代数非退化条件;生成一个HTML。。。
  • ACL2

  • 引用276篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 差距

  • 引用2797篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • GCLC公司

  • 引用了29篇文章[sw00326]
  • 我们介绍了一个可视化工具GCLC/WinGCLC几何学...
  • 水蝇

  • 引用文献248篇[sw00341]
  • Gerris是一个免费的软件程序。。。
  • gmp

  • 引用261篇文章[sw00363]
  • GMP是一个任意精度的免费库。。。
  • 拉帕克

  • 引用于1604篇文章[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。