• HyTech

  • Referenced in 333 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • TPTP

  • Referenced in 401 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • KernSmooth

  • Referenced in 1018 articles [sw04586]
  • Kernel smoothing refers to a general methodology for...
  • UG

  • Referenced in 191 articles [sw04596]
  • UG -- a flexible software toolbox for solving partial...
  • Genocop

  • Referenced in 1103 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • mctoolbox

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

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

  • Referenced in 881 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • HOL

  • Referenced in 594 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • Stata

  • Referenced in 845 articles [sw06029]
  • Stata is a complete, integrated statistical package that...
  • SciPy

  • Referenced in 791 articles [sw06293]
  • SciPy (pronounced ”Sigh Pie”) is open-source software...
  • SAS

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

  • Referenced in 522 articles [sw06496]
  • Automatic differentiation through the use of hyper-dual...
  • SATCHMOREBID

  • Referenced in 7 articles [sw06623]
  • SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy SATCHMORE was...
  • OEIS

  • Referenced in 4285 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • Pegasos

  • Referenced in 106 articles [sw08752]
  • Pegasos: primal estimated sub-gradient solver for SVM...
  • WASP

  • Referenced in 56 articles [sw09565]
  • WASP: a native ASP solver based on constraint...
  • KIV

  • Referenced in 53 articles [sw10060]
  • Karlsruhe Interactive Verifier (KIV). KIV is an interactive...
  • ppALIGN

  • Referenced in 1 article [sw10264]
  • Computing posterior probabilities for score-based alignments using...