• 驯服图

  • 15篇参考文献[ SW28 78]
  • 开普勒猜想在他的书中密集球体 填料. 正式证明的蓝图…
  • 包装癖

  • 8篇参考文献[SW17655 ]
  • 最大限度包装密度。第3节:填料平等的球体在最大尺寸的固定容器中…
  • 帕克莫尔

  • 11篇参考文献[SW13408]
  • 开发了一个代码包装成百上千的原子,以任意复杂的分子组成……地区这些区域可能是交汇处。球体椭圆、圆柱体、平面或盒子。用户…胶束、脂质双层等。包装最先进的分子动力学时代…
  • 里曼纳珀

  • 1篇参考文献[SW2308]
  • 保存完好。同样,我们放了一个圆包装纹理在磁盘上,然后拉动…标准形状平面和双曲空间。细节可以找到…
  • 辅酶Q

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

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

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

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

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

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

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