
R
 Referenced in 9832 articles
[sw00771]
 R is a language and environment for statistical...

REDUCE
 Referenced in 746 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

ROBETH
 Referenced in 43 articles
[sw00811]
 ROBETH is the program library for robust statistical...

SageMath
 Referenced in 1974 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1508 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

Sostools
 Referenced in 289 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

SUNDIALS
 Referenced in 241 articles
[sw00927]
 SUNDIALS was implemented with the goal of providing...

TSPLIB
 Referenced in 697 articles
[sw00983]
 TSPLIB is a library of sample instances for...

Cayley
 Referenced in 131 articles
[sw01053]
 An introduction to the Group Theory Language, Cayley...

AUTO
 Referenced in 942 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...

SCIP
 Referenced in 536 articles
[sw01091]
 SCIP is currently one of the fastest non...

PRISM
 Referenced in 442 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

ML
 Referenced in 522 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

PERL
 Referenced in 270 articles
[sw01225]
 Programming Perl. Perl is a language for easily...

DYNAMO
 Referenced in 261 articles
[sw01227]
 DYNAMO (DYNAmic MOdels) was a simulation language and...

QUADPACK
 Referenced in 260 articles
[sw01236]
 Fortran subprograms for evaluating definite integrals of functions...

EnKF
 Referenced in 408 articles
[sw02066]
 EnKFThe Ensemble Kalman Filter The EnKF is...

SNOPT
 Referenced in 551 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...