Results 1 to 20 of 66
Sort by:

  • ACL2
  • Referenced in 291 articles [sw00060]
  • ACL2 is both a programming language in which...

  • Coq
  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...

  • Isabelle
  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...

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

  • Mathematica
  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...

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

  • mclust
  • Referenced in 315 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...

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

  • Octave
  • Referenced in 312 articles [sw00646]
  • GNU Octave is a high-level language, primarily...

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

  • WordNet
  • Referenced in 410 articles [sw01777]
  • WordNet® is a large lexical database of English...

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

  • UCI-ml
  • Referenced in 3444 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...

  • gensim
  • Referenced in 18 articles [sw04081]
  • Gensim is a free Python framework designed to...

  • CPLEX
  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

  • SPSS
  • Referenced in 677 articles [sw04269]
  • SPSS is a computer program used for survey...

  • CRAN
  • Referenced in 570 articles [sw04351]
  • R is ‘GNU S’, a freely available language...

  • WinBUGS
  • Referenced in 773 articles [sw04492]
  • WinBUGS is part of the BUGS project, which...

  • fda (R)
  • Referenced in 1571 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...

  • CVX
  • Referenced in 855 articles [sw04594]
  • CVX is a modeling system for constructing and...