Results 21 to 40 of 60
Sort by:

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