• wwcode

  • Referenced in 21 articles [sw26044]
  • Rank-Based Analysis of Linear Models Using R. It is well-known that Wilcoxon procedures ... estimation and associated inference is now universally accessible...
  • HOL-Omega

  • Referenced in 9 articles [sw06581]
  • types include type operator variables and universal types as in System $F$. Impredicativity is avoided ... stratification of types by ranks according to the depth of universal types. The new system...
  • QAPgrid

  • Referenced in 2 articles [sw23152]
  • produce a layout of 470 world universities with an observed high degree of correlation with ... score used by the Academic Ranking of World Universities compiled ... Shanghai Jiao Tong University Academic Ranking of World Universities without the need...
  • RAPTOR

  • Referenced in 20 articles [sw09002]
  • test by the protein structure prediction community, ranks RAPTOR as top 1, among individual prediction ... targets. RAPTOR was implemented at the University of Waterloo...
  • Marlin

  • Referenced in 13 articles [sw41698]
  • where the structured reference string (SRS) is universal and updatable. This exploits a novel ... efficient algebraic holographic proof (AHP) for rank-1 constraint satisfiability (R1CS) that achieves linear proof...
  • EFTofPNG

  • Referenced in 7 articles [sw20815]
  • generic generation of Feynman contractions, which is universal to all perturbation theories in physics ... treating n-point functions as tensors of rank n. The package currently contains four independent...
  • TableSeer

  • Referenced in 3 articles [sw17615]
  • universal table metadata specification, and the limitation of the existing ranking schemes make table search...
  • ordinalForest

  • Referenced in 3 articles [sw26301]
  • also possible to rank the covariates with respect to their importances in the prediction ... Forests. Tech. Rep. 212, Department of Statistics, University of Munich...
  • SW1PerS

  • Referenced in 10 articles [sw17206]
  • Yeast metabolic cycle which are highly-ranked only by SW1PerS, contains evidently non-cosine patterns ... found in other experiments such as the universal growth rate response of Slavov. These genes...
  • Bruns

  • Referenced in 1 article [sw27123]
  • Mathematical Society Lecture Note Series, 106. Cambridge University Press, Cambridge, 1985) asserts that ... free module, then M has rank at least k. The theory of basic elements shows...
  • cdd

  • Referenced in 119 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • FGb

  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Kronecker

  • Referenced in 119 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...
  • Macaulay2

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

  • Referenced in 3363 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...