• 轰炸机

  • 引用195篇文章[sw00086]
  • 一个并行代数多重网格解算器与预处理器。。。
  • 达夫尼

  • 引用72篇文章[sw00183]
  • Dafny是一种命令式的基于对象的语言。。。
  • 差异包

  • 参考文献115篇[sw00203]
  • 随着现代编程方法学从计算机科学迁移。。。
  • FEMLAB公司

  • 引用57篇文章[sw00274]
  • COMSOL Multiphysics,vormals FEMLAB,ist eine Software zur。。。
  • gmp

  • 引用282篇文章[sw00363]
  • GMP是一个任意精度的免费库。。。
  • 高铁

  • 引用279篇文章[sw00418]
  • HSL(以前的哈韦尔子程序库)是一个。。。