• 数学检查

  • 6篇参考文献[SW1362]
  • 反例或有限验证开放通用猜想关于任何数学话题(例如图表)特定理论引理,因为它寻找一个反例的输入猜想就像……
  • HR

  • 29篇参考文献[SW1092]
  • 用水獭定理证明器证明猜想. 在水獭和梅斯的领域…约束满足问题的产生引理自动定理证明和生产…
  • CDD

  • 106篇参考文献[SW0114]
  • 程序CDD+(CDD,分别)是C.。
  • 可可

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

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

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

  • 69篇参考文献[SW0410]
  • HOM4PS-2.0:一个求解多项式的软件包
  • 岩浆

  • 2672篇参考文献[SW0540]
  • 计算机代数系统(CAS)。岩浆是巨大的…
  • MATLAB

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

  • 188篇参考文献[SW06838 ]
  • NTL是一个高性能、可移植的C++库…