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