• Coq

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

  • Referenced in 1642 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Matlab

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

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

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

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

  • Referenced in 393 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • L-BFGS

  • Referenced in 735 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • CUDA

  • Referenced in 1207 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SPIN

  • Referenced in 712 articles [sw03455]
  • Spin is a popular open-source software tool...
  • UCI-ml

  • Referenced in 3100 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • METIS

  • Referenced in 447 articles [sw04089]
  • METIS is a set of serial programs for...
  • NuSMV

  • Referenced in 298 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • Smodels

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

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

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

  • Referenced in 509 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • LBFGS-B

  • Referenced in 335 articles [sw05142]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • Eigen

  • Referenced in 158 articles [sw05781]
  • Eigen is a C++ template library for linear...