• Mathematica

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

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

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

  • Referenced in 236 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for...
  • 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...
  • CP-nets

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

  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

  • Referenced in 690 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • LINDO

  • Referenced in 552 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • PORTA

  • Referenced in 126 articles [sw04869]
  • PORTA is a collection of routines for analyzing...
  • LINGO

  • Referenced in 319 articles [sw04942]
  • LINGO is a comprehensive tool designed to make...
  • Stony Brook

  • Referenced in 90 articles [sw05040]
  • The Stony Brook Algorithm Repository mainly for combinatorial...
  • VRP

  • Referenced in 1069 articles [sw05207]
  • The Vehicle Routing Problem (VRP) is one of...
  • Bertini

  • Referenced in 253 articles [sw06683]
  • Bertini™: Software for Numerical Algebraic Geometry. Software for...
  • SPEA2

  • Referenced in 484 articles [sw06686]
  • SPEA2 - The Strength Pareto Evolutionary Algorithm 2: SPEA2...
  • rpart

  • Referenced in 153 articles [sw07115]
  • R package rpart: Recursive Partitioning. Recursive partitioning and...
  • OEIS

  • Referenced in 4221 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • Clingcon

  • Referenced in 39 articles [sw09892]
  • Clingcon is a hybrid solver combining the monolithic...