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