• 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, open-source 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 general-purpose 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]
  • EnKF-The Ensemble Kalman Filter The EnKF is...
  • SNOPT

  • Referenced in 551 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...