• 开普尔98

  • 158篇参考文献[SW23 625]
  • 开普勒猜想断言没有包装全等的球类欧几里得3-空间具有密度…
  • 玫瑰孔

  • 1篇参考文献[SW1284]
  • ReSeToStess产生一组球形空腔球类填补原子之间的空体积…蛋白质内部。RoeTaTHOLES2特征A包装更快速,可计算,准确和物理透明…
  • 辅酶Q

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

  • 165篇参考文献[SW0490]
  • KNITROO是求解非线性优化问题的一种解法。IT
  • 岩浆

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

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

  • 560篇参考文献[SW0680]
  • PARI/GP是一种广泛应用的计算机代数系统。
  • PHCPACK

  • 201篇参考文献[SW0705]
  • 算法795:PHCPACK:一个通用的求解器…
  • R

  • 7468篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • TSPLIB

  • 645篇参考文献[SW0983]
  • TSPLIB是一个样本实例库,用于…