
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 highlevel language and interactive...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. 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 symbolicnumericalgraphical...

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

BatchExperiments
 Referenced in 14 articles
[sw15389]
 R package BatchExperiments: Statistical Experiments on Batch Computing...

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