• BARON

  • Referenced in 339 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • GAP

  • Referenced in 3068 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 674 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Mathematica

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

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

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

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

  • Referenced in 279 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • TSPLIB

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

  • Referenced in 258 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • CP-nets

  • Referenced in 137 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • WordNet

  • Referenced in 402 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • IMOST

  • Referenced in 8 articles [sw02141]
  • IMOST: Interactive multiple objective system technique An interactive...
  • TANE

  • Referenced in 39 articles [sw02196]
  • TANE: An efficient algorithm for discovering functional and...
  • SNOPT

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

  • Referenced in 173 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • CONOPT

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

  • Referenced in 21 articles [sw02999]
  • Computing non-dominated solutions in MOLFP In this...