• Coq

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

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

  • Referenced in 84 articles [sw00677]
  • In this paper we describe a community toolkit...
  • R

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

  • Referenced in 184 articles [sw01005]
  • VODE: A variable-coefficient ODE solver. This paper...
  • FLIRT

  • Referenced in 16 articles [sw02671]
  • FLIRT (FMRIB’s Linear Image Registration Tool) is...
  • DT-CWT

  • Referenced in 86 articles [sw02857]
  • Research on pixel-level image fusion algorithm based...
  • FAME

  • Referenced in 10 articles [sw03344]
  • FAME-a flexible appearance modeling environment. Combined modeling...
  • deal.ii

  • Referenced in 346 articles [sw03516]
  • deal.II is a C++ program library targeted at...
  • UCI-ml

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

  • Referenced in 404 articles [sw04126]
  • FFTW is a C subroutine library for computing...
  • Qhull

  • Referenced in 249 articles [sw04419]
  • The convex hull of a point set P...
  • ASA

  • Referenced in 68 articles [sw04736]
  • Adaptive Simulated Annealing (ASA) is a C-language...
  • UNCMND

  • Referenced in 88 articles [sw05265]
  • NCMND minimizes a smooth nonlinear function of n...
  • HLLE

  • Referenced in 467 articles [sw06605]
  • The HLLE[3] (Harten, Lax, van Leer and...
  • GMRFLib

  • Referenced in 222 articles [sw06641]
  • Gaussian Markov random fields. Theory and applications. Researchers...
  • MKL

  • Referenced in 96 articles [sw06975]
  • Intel® Math Kernel Library (Intel® MKL) 11.0 includes...