Results 1 to 18 of 18
Sort by:

  • cgam
  • Referenced in 5 articles [sw15309]
  • cone projection algorithm. The cone information criterion (CIC) may be used to select the best...

  • Template-Coq
  • Referenced in 4 articles [sw27569]
  • handle the entire Calculus of Inductive Constructions (CIC), as implemented by Coq, including the kernel...

  • BCiC
  • Referenced in 1 article [sw26749]
  • with the Calculus of (Co)Inductive Constructions (CiC). In this respect, it is a descendant ... which was based on LF rather than CiC. This paper focuses on the architecture...

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

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

  • SCIP
  • Referenced in 536 articles [sw01091]
  • SCIP is currently one of the fastest non...

  • COBOL
  • Referenced in 237 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...

  • copula
  • Referenced in 145 articles [sw07944]
  • Enjoy the Joy of Copulas: With a Package...

  • VineCopula
  • Referenced in 39 articles [sw08160]
  • VineCopula: Statistical inference of vine copulas. This package...

  • Z/EVES
  • Referenced in 44 articles [sw10262]
  • Z/EVES Eclipse prover IDE. Community Z Tools provide...

  • Z
  • Referenced in 282 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...

  • QRM
  • Referenced in 718 articles [sw11358]
  • R package QRM: Provides R-language Code to...

  • copula

  • Referenced in 167 articles [sw14499]
  • R package copula: Multivariate Dependence with Copulas. Classes...

  • HoTT
  • Referenced in 15 articles [sw15147]
  • The HoTT/HoTT Library in Coq: Designing for Speed...

  • DB2
  • Referenced in 102 articles [sw15937]
  • IBM® DB2® is the database of choice for...