
wwcode
 Referenced in 21 articles
[sw26044]
 RankBased Analysis of Linear Models Using R. It is wellknown that Wilcoxon procedures ... estimation and associated inference is now universally accessible...

HOLOmega
 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 rank1 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 npoint 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 highlyranked only by SW1PerS, contains evidently noncosine 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...

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