
TorchLight
 Referenced in 4 articles
[sw13534]
 causal graphs and h+ . The ignoring delete lists relaxation is of paramount importance for both...

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

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

MetiTarski
 Referenced in 52 articles
[sw00573]
 Many inequalities involving the functions ln, exp, sin...

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

QOCA
 Referenced in 30 articles
[sw00756]
 We describe an objectoriented constraint solving toolkit...

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

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

ALGOL 68
 Referenced in 291 articles
[sw01226]
 ALGOL 68 (short for ALGOrithmic Language 1968) is...

MINITAB
 Referenced in 204 articles
[sw02865]
 Analyze your data and improve your products and...

SPLUS
 Referenced in 607 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

SPIN
 Referenced in 721 articles
[sw03455]
 Spin is a popular opensource software tool...

PVS
 Referenced in 627 articles
[sw03484]
 PVS is a verification system: that is, a...

JDQR
 Referenced in 496 articles
[sw04021]
 From this page you can get a Matlab...

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

ABAQUS
 Referenced in 1561 articles
[sw04215]
 The Abaqus Unified FEA product suite offers powerful...

SparseMatrix
 Referenced in 686 articles
[sw04629]
 The University of Florida Sparse Matrix Collection. We...

MINOS
 Referenced in 444 articles
[sw05095]
 MINOS is a largescale optimization system, for...

Gecode
 Referenced in 65 articles
[sw06272]
 Gecode is a toolkit for developing constraintbased...

SAS
 Referenced in 1533 articles
[sw06377]
 SAS (Statistical Analysis System) is an integrated system...