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

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • 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...
  • DYNAMO

  • Referenced in 261 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • TABARIS

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

  • Referenced in 806 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • UCI-ml

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

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

  • Referenced in 51 articles [sw04333]
  • SDPpack is our package of Matlab files designed...
  • LINDO

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

  • Referenced in 22 articles [sw04842]
  • NISPOC - A software package for searching numerical invariants...
  • LIBSVM

  • Referenced in 1185 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • LINGO

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

  • Referenced in 2809 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • Cliquer

  • Referenced in 69 articles [sw05044]
  • Cliquer - routines for clique searching. Cliquer is a...
  • JBool

  • Referenced in 115 articles [sw06185]
  • This software promotes some general and useful tools...