• CAPUSHE

  • Referenced in 62 articles [sw13365]
  • minimization of a penalized criterion. L. Birgé and P. Massart [Probab. Theory Relat. Fields ... results about it are presented. Second, we focus on the practical difficulties occurring for applying ... interface called CAPUSHE. Supplemental Materials containing further information and an additional application, the CAPUSHE package...
  • SeaDoc

  • Referenced in 1 article [sw11045]
  • defined as the documents containing example adaptation information, and (3) adapt examples. Currently, acquiring necessary ... documents, the focus is never on time reduction. To satisfy the new criterion, we find...
  • Coq

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

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

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

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • AUTO

  • Referenced in 943 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • XploRe

  • Referenced in 59 articles [sw01128]
  • XploRe is the name of a commercial statistics...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • LOQO

  • Referenced in 211 articles [sw02212]
  • LOQO: An interior point code for quadratic programming...
  • FLIRT

  • Referenced in 21 articles [sw02671]
  • FLIRT (FMRIB’s Linear Image Registration Tool) is...
  • S-PLUS

  • Referenced in 615 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • UCI-ml

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

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