• OTTER

  • Referenced in 311 articles [sw02904]
  • rewriting, term orderings, Knuth-Bendix completion, weighting, and strategies for directing and restricting searches...
  • CASL

  • Referenced in 172 articles [sw02235]
  • restrictions to various sublanguages. It has extensions to higher-order, state-based, concurrent, and other...
  • Nitpick

  • Referenced in 58 articles [sw00622]
  • other model finders for higher-order 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 first-order versions of unit propagation inference rules analogously to a restricted form ... retain completeness, it includes a first-order version of the (binary) propositional splitting inference rule...
  • ImplicitLNLMethods

  • Referenced in 6 articles [sw23184]
  • certain time-step restriction. The search for high order strong stability preserving time-stepping 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 first-order 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 Order-Restricted Information Criterion. The generalized order-restricted 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...
  • C-AMS

  • 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 high-frequency errors, fine-scale ... employed. In order to reduce computational expense, the C-AMS operators (prolongation, restriction, and smoothers...
  • ModLeanTAP

  • Referenced in 18 articles [sw12368]
  • first-order logic leanTAP. ModLeanTAP Version 2.0 includes additional search space restrictions and fairness strategies...
  • MU-TERM

  • 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 mu-term...
  • 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 first-order 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 first-order logic and based on the clausal connection calculus...
  • homals

  • Referenced in 12 articles [sw13953]
  • rank-1 restrictions). Variables can be grouped into sets, in order to emulate regression analysis...