• TorchLight

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

  • Referenced in 5270 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

  • Referenced in 12983 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MetiTarski

  • Referenced in 51 articles [sw00573]
  • Many inequalities involving the functions ln, exp, sin...
  • nauty

  • Referenced in 597 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • QOCA

  • Referenced in 30 articles [sw00756]
  • We describe an object-oriented constraint solving toolkit...
  • R

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

  • Referenced in 1856 articles [sw00825]
  • Sage (SageMath) is free, open-source 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...
  • S-PLUS

  • Referenced in 607 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • SPIN

  • Referenced in 721 articles [sw03455]
  • Spin is a popular open-source software tool...
  • PVS

  • Referenced in 626 articles [sw03484]
  • PVS is a verification system: that is, a...
  • JDQR

  • Referenced in 496 articles [sw04021]
  • From this page you can get a Matlab...
  • UCI-ml

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

  • Referenced in 1551 articles [sw04215]
  • The Abaqus Unified FEA product suite offers powerful...
  • MINOS

  • Referenced in 444 articles [sw05095]
  • MINOS is a large-scale optimization system, for...
  • Gecode

  • Referenced in 65 articles [sw06272]
  • Gecode is a toolkit for developing constraint-based...
  • SAS

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