• 可可

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

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

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

  • 255篇参考文献[SW0363]
  • GMP是一个任意精度的自由库。
  • 岩浆

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

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

  • 533篇参考文献[SW0611]
  • 图论程序NUTYY:NUTY是一个程序…