• Octave

  • Referenced in 304 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • Paramils

  • Referenced in 87 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...
  • PARDISO

  • Referenced in 287 articles [sw00679]
  • The package PARDISO is a thread-safe, high...
  • PHCpack

  • Referenced in 236 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for...
  • PLTMG

  • Referenced in 215 articles [sw00717]
  • PLTMG 11.0 is a package for solving elliptic...
  • R

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

  • Referenced in 161 articles [sw00940]
  • SymPy is a Python library for symbolic mathematics...
  • TSPLIB

  • Referenced in 698 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • SCIP

  • Referenced in 542 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • MACSYMA

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

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • DYNAMO

  • Referenced in 261 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • L-BFGS-B

  • Referenced in 200 articles [sw01234]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • QUADPACK

  • Referenced in 264 articles [sw01236]
  • Fortran subprograms for evaluating definite integrals of functions...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • ADIFOR

  • Referenced in 254 articles [sw02185]
  • ADIFOR is a tool for the automatic differentiation...
  • LOQO

  • Referenced in 211 articles [sw02212]
  • LOQO: An interior point code for quadratic programming...
  • SNOPT

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

  • Referenced in 42 articles [sw02635]
  • PSATO: a Distributed/parallel Prover for propositional satisfiability (SAT...
  • CONOPT

  • Referenced in 170 articles [sw02791]
  • CONOPT is a generalized reduced-gradient (GRG) algorithm...