Results 1 to 20 of 34
Sort by:

  • Coq
  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...

  • Gmsh
  • Referenced in 767 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...

  • Maple
  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...

  • Mathematica
  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...

  • Matlab
  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...

  • MACSYMA
  • Referenced in 720 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...

  • L-BFGS-B
  • Referenced in 200 articles [sw01234]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...

  • COSMOCR
  • Referenced in 7 articles [sw02255]
  • COSMOCR: A numerical code for cosmic ray studies...

  • L-BFGS
  • Referenced in 806 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...

  • CUDA
  • Referenced in 1325 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...

  • AUTO-86
  • Referenced in 277 articles [sw04220]
  • AUTO is a software for continuation and bifurcation...

  • Chombo
  • Referenced in 69 articles [sw04316]
  • Chombo - Software for Adaptive Solutions of Partial Differential...

  • SciPy
  • Referenced in 775 articles [sw06293]
  • SciPy (pronounced ”Sigh Pie”) is open-source software...

  • AUSM
  • Referenced in 297 articles [sw06367]
  • A sequel to AUSM II: AUSM + -up for...

  • HLLE
  • Referenced in 638 articles [sw06605]
  • The HLLE[3] (Harten, Lax, van Leer and...

  • OpenCL
  • Referenced in 232 articles [sw07060]
  • OpenCL™ is the first open, royalty-free standard...

  • CAVEAT
  • Referenced in 47 articles [sw09031]
  • CAVEAT: A computer code for fluid dynamics problems...

  • Pluto
  • Referenced in 34 articles [sw09092]
  • PLUTO is a freely-distributed software for the...