• LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • 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...
  • R

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

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • Sostools

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

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

  • Referenced in 130 articles [sw01094]
  • Algorithm 754: Fortran subroutines for approximate solution of...
  • ML

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

  • Referenced in 16 articles [sw02534]
  • TABARIS: An exact algorithm based on tabu search...
  • SeDuMi

  • Referenced in 1281 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • PETSc

  • Referenced in 1584 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • 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...
  • nlme

  • Referenced in 143 articles [sw04481]
  • R package nlme: Linear and Nonlinear Mixed Effects...
  • fda (R)

  • Referenced in 1531 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...
  • FEASPUMP

  • Referenced in 133 articles [sw04802]
  • Feasibility pump 2.0. Finding a feasible solution of...
  • AIMMS

  • Referenced in 106 articles [sw04912]
  • AIMMS is an optimization technology that enables you...