Results 1 to 20 of 34
Sort by:

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

  • MiniSat
  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...

  • QEPCAD
  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...

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

  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...

  • ConGolog
  • Referenced in 49 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...

  • GOLOG
  • Referenced in 173 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...

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

  • RODAS
  • Referenced in 1695 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...

  • Gringo
  • Referenced in 108 articles [sw04630]
  • This document provides an introduction to the Answer...

  • Smodels
  • Referenced in 239 articles [sw04631]
  • The Smodels system is an Answer Set Programming...

  • mctoolbox
  • Referenced in 1486 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...

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

  • z3
  • Referenced in 597 articles [sw04887]
  • Z3 is a high-performance theorem prover being...

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

  • Potassco
  • Referenced in 80 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This...

  • BUGS
  • Referenced in 378 articles [sw07885]
  • The BUGS (Bayesian inference Using Gibbs Sampling) project...

  • Clingo
  • Referenced in 104 articles [sw09893]
  • Potassco, the Potsdam Answer Set Solving Collection, bundles...