• 可可

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

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

  • 104篇参考文献[SW0181]
  • C-XSC验证科学的编程环境…
  • Gap

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

  • 8篇参考文献[SW0350]
  • 专用计算机代数系统GIV.计算机代数…
  • GMP

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

  • 34篇参考文献[SW033]
  • 这里关注的是高斯-类型求积…
  • 采访者

  • 28篇参考文献[SW043]
  • 采访者:蛋白质与蛋白质相互作用的动态可视化
  • 岩浆

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