• 可可

  • 585篇参考文献[SW0143]
  • 容易计算Grobner基、SygGyes和极小值 免费 分辨率,交叉,分裂,激进…
  • 刺穿

  • 9篇参考文献[SW12137]
  • 描述一个用于构建的软件包极小值 免费 决议案分次GL n(α)-等变…
  • 三等分

  • 4篇参考文献[SW12131]
  • 字段K的长度极小值 免费 分辨率r=q/i称为…
  • 相对标准分辨率

  • 3篇参考文献[SW15390]
  • 归一化滚动计算相对正则性分辨率. 这些曲线的构造是基于…提供计算功能(可能不)极小值免费 决议案这样的曲线通过迭代…
  • M正则

  • 4篇参考文献[SW10947 ]
  • 需要计算A极小值分级的免费 分辨率理想的。它也决定了…
  • 辅酶Q

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

  • 189篇参考文献[SW0169]
  • CSDP,半定规划的C文库。
  • Gap

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

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

  • 333篇参考文献[SW0530]
  • 算法583:LQR:稀疏线性方程组和最小…
  • 岩浆

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