• Octave

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

  • Referenced in 32 articles [sw00681]
  • In Quebec’s municipal taxation system, the tax...
  • PHCpack

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

  • Referenced in 269 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • R

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

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

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

  • Referenced in 14 articles [sw01007]
  • The VPI (Variable Precision Interval) software package is...
  • Duali

  • Referenced in 26 articles [sw01245]
  • The Duali/Dualpc software system is designed to solve...
  • Graphviz

  • Referenced in 90 articles [sw01283]
  • Graphviz is open source graph visualization software. Graph...
  • CP-nets

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

  • Referenced in 63 articles [sw01397]
  • PISA consists of two parts: PISA is a...
  • GULP

  • Referenced in 20 articles [sw01459]
  • GULP is a program for performing a variety...
  • GraphBase

  • Referenced in 135 articles [sw01555]
  • The Stanford GraphBase is a freely available collection...
  • WordNet

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

  • Referenced in 20 articles [sw01990]
  • Maximum Boolean satisfiability (max-SAT) is the optimization...
  • AFRA

  • Referenced in 29 articles [sw02090]
  • AFRA: argumentation framework with recursive attacks. The issue...
  • ADIFOR

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

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

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