• Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • MACSYMA

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

  • Referenced in 1284 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • CODA

  • Referenced in 359 articles [sw04290]
  • R package coda: Output analysis and diagnostics for...
  • INTOPT_90

  • Referenced in 306 articles [sw04705]
  • Rigorous global search: continuous problems The monograph gives...
  • CORSIKA

  • Referenced in 9 articles [sw07018]
  • CORSIKA; an Air Shower Simulation Program. CORSIKA (COsmic...
  • C4.5

  • Referenced in 1166 articles [sw12176]
  • C4.5: programs for machine learning. (C4.5 has been...
  • GitHub

  • Referenced in 2760 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • kepler98

  • Referenced in 195 articles [sw23625]
  • The 1998 Proof of the Kepler Conjecture. The...
  • Tunability

  • Referenced in 9 articles [sw42100]
  • Tunability: importance of hyperparameters of machine learning algorithms...