• 可可

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

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

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

  • 6篇参考文献[SW0356]
  • GLie;一个用于李超对称性的Maple程序
  • GMP

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

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

  • 260篇参考文献[SW0418]
  • HSL(以前是HWWELL子程序库)是…
  • 催眠

  • 53篇参考文献[SW0425]
  • AuxExp 2,关于半整数展开超几何函数…