Results 1 to 20 of 25
Sort by:

  • 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...