• 水獭

  • 310篇参考文献[SW02904]
  • 第四代阿贡国家实验室演绎其祖先(追溯到20世纪60年代初)包括…逻辑、群论、格理论与代数几何. 注意:水獭/MaCe2不再活跃…
  • GEX

  • 32篇参考文献[SW09961]
  • 邀请与最优秀的人进行比较几何进步者。它实现了大多数有效的…过去二十年,包括演绎的基本方法、吴方法、面积法…通过这些方法,用户可以自动证明。几何定理,发现定理的新性质…
  • MMP/GEMS

  • 13篇参考文献[SW0584]
  • Euclidean与微分几何学面积法和几何法演绎的数据库方法。用这些…动态理念的互动几何自动生成图表的方法…
  • 可可

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

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

  • 2662篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • GCLC

  • 29篇参考文献[SW0326]
  • 我们提出了GCLC/WIGCLC——一种可视化几何图形的工具。
  • MATLAB

  • 11343篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 减少

  • 736篇参考文献[SW0789]
  • Read是一个通用代数的交互系统。