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