• 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...