
CSDP
 Referenced in 202 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

GAP
 Referenced in 3154 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Maple
 Referenced in 5363 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 565 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

nauty
 Referenced in 609 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

R
 Referenced in 9810 articles
[sw00771]
 R is a language and environment for statistical...

RelView
 Referenced in 102 articles
[sw00798]
 The RelViewSystem is an interactive tool for...

SageMath
 Referenced in 1970 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

AMPL
 Referenced in 617 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...

UCIml
 Referenced in 3379 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

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

Gurobi
 Referenced in 679 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

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

lme4
 Referenced in 240 articles
[sw04515]
 R package lme4: Linear mixedeffects models using...

CVX
 Referenced in 832 articles
[sw04594]
 CVX is a modeling system for constructing and...

Blossom IV
 Referenced in 36 articles
[sw04781]
 Computing minimumweight perfect matchings. We make several...

DLMF
 Referenced in 2808 articles
[sw04968]
 NIST digital library of mathematical functions. The National...

Prover9
 Referenced in 197 articles
[sw04969]
 Prover9 and Mace4: Prover9 is an automated theorem...