
OTTER
 Referenced in 311 articles
[sw02904]
 rewriting, term orderings, KnuthBendix completion, weighting, and strategies for directing and restricting searches...

CASL
 Referenced in 172 articles
[sw02235]
 restrictions to various sublanguages. It has extensions to higherorder, statebased, concurrent, and other...

Nitpick
 Referenced in 58 articles
[sw00622]
 other model finders for higherorder logic, without restrictions on the form of the formulas...

Nenofex
 Referenced in 18 articles
[sw09579]
 represented as a tree with structural restrictions in order to keep its size small...

KELLEY
 Referenced in 599 articles
[sw04829]
 first order, and sometimes also second order derivatives of the objective function. The first part ... used to globalize convergence, i.e., remove the restriction that the starting point of the optimization...

isocir
 Referenced in 9 articles
[sw21263]
 deal with circular data under order restrictions...

APCluster
 Referenced in 104 articles
[sw11002]
 widely accepted standard in this field. In order to leverage affinity propagation for bioinformatics applications ... given package is in no way restricted to bioinformatics applications. It is as generally applicable...

Darwin
 Referenced in 25 articles
[sw04175]
 implements firstorder versions of unit propagation inference rules analogously to a restricted form ... retain completeness, it includes a firstorder version of the (binary) propositional splitting inference rule...

ImplicitLNLMethods
 Referenced in 6 articles
[sw23184]
 certain timestep restriction. The search for high order strong stability preserving timestepping methods ... exist only up to sixth order; however, if we restrict ourselves to solving only linear...

cgam
 Referenced in 4 articles
[sw15309]
 predictors with or without shape or order restrictions, the maximum likelihood estimator for the constrained...

FPC_AS
 Referenced in 57 articles
[sw12218]
 repeatedly. In the first stage a firstorder iterative “shrinkage” method yields an estimate ... nonzero in an optimal solution. Restricting the decision variables x to this subset and fixing...

GORIC
 Referenced in 2 articles
[sw24569]
 Fortran 90 Program for the Generalized OrderRestricted Information Criterion. The generalized orderrestricted information ... hypotheses containing simple order restrictions Hm: β1,1 ≥ … ≥ βt,k, where any ”≥” may be replaced...

DFL
 Referenced in 25 articles
[sw05163]
 variables are restricted to take integer values. We assume that the first order derivatives...

CAMS
 Referenced in 10 articles
[sw18051]
 order to construct an efficient multiscale prolongation operator. As for the restriction operator ... finite element (MSFE) methods. Finally, in order to resolve highfrequency errors, finescale ... employed. In order to reduce computational expense, the CAMS operators (prolongation, restriction, and smoothers...

ModLeanTAP
 Referenced in 18 articles
[sw12368]
 firstorder logic leanTAP. ModLeanTAP Version 2.0 includes additional search space restrictions and fairness strategies...

MUTERM
 Referenced in 34 articles
[sw10015]
 example of such a restriction. In CSR, the replacements in some arguments of the function ... tool implements the generation of the appropriate orderings for proving termination of CSR by means ... orderings based on such polynomial interpretations. These orderings can also be used, in a number ... existing transformations to TRSs (without any replacement restriction) which are also implemented in muterm...

HP90
 Referenced in 19 articles
[sw00415]
 approximation order to vary within any element. The mesh refinement algorithms are restricted...

leanCoP
 Referenced in 24 articles
[sw09756]
 very compact theorem prover for classical firstorder logic, based on the connection (tableau) calculus ... adding regularity, lemmata, and a technique for restricting backtracking. It also provides a definitional translation ... compact theorem prover for intuitionistic firstorder logic and based on the clausal connection calculus...

homals
 Referenced in 12 articles
[sw13953]
 rank1 restrictions). Variables can be grouped into sets, in order to emulate regression analysis...