• OTTER

  • Referenced in 316 articles [sw02904]
  • designed to prove theorems stated in first-order logic with equality. Otter’s inference rules ... includes facilities for term rewriting, term orderings, Knuth-Bendix completion, weighting, and strategies for directing...
  • OEIS

  • Referenced in 4187 articles [sw07248]
  • medical records is in the correct order. (Perhaps you are a computer scientist or someone ... gives an explicit formula for the nth term. You decide not to apply...
  • SDPT3

  • Referenced in 697 articles [sw04009]
  • product of semidefinite cones, second-order cones, nonnegative orthants and Euclidean spaces; and whose objective ... linear functions and log-barrier terms associated with the constraint cones. This includes the special...
  • Adam

  • Referenced in 737 articles [sw22205]
  • functions, based on adaptive estimates of lower-order moments. The method is straightforward to implement ... suited for problems that are large in terms of data and/or parameters. The method...
  • Janet

  • Referenced in 37 articles [sw07776]
  • lexicographical one, the pure lexicographical one, block orderings and their extensions to the case ... term over position” and ”position over termorderings in the polynomial case. Four involutive criteria...
  • VAMPIRE

  • Referenced in 258 articles [sw02918]
  • Knuth-Bendix ordering. The lexicographic path ordering has been implemented recently but will ... implement all major operations on sets of terms and clauses. Run-time algorithm specialisation ... accelerate some costly operations, e.g., checks of ordering constraints. Although the kernel of the system...
  • MU-TERM

  • Referenced in 34 articles [sw10015]
  • permanently forbidden. This paper describes mu-term, a tool which can be used to automatically ... tool implements the generation of the appropriate orderings for proving termination of CSR by means ... over the rational numbers. In fact, mu-term ... first termination tool which generates term orderings based on such polynomial interpretations. These orderings...
  • Gerris

  • Referenced in 313 articles [sw00341]
  • automatic mesh generation in complex geometries Second-order in space and time Unlimited number ... passive tracers Flexible specification of additional source terms Portable parallel support using the MPI library...
  • TENSOLVE

  • Referenced in 29 articles [sw00956]
  • quadratic model, where the second-order term is chosen so that the model is hardly...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • performance library production and maintenance, which we term automated empirical optimization of software; this style ... library management has been created in order to allow software to keep pace with...
  • SINDy

  • Referenced in 29 articles [sw30277]
  • also readily generalize to include higher-order nonlinear terms that model the effect of truncated ... identified models compare favourably against reduced-order models obtained from a standard Galerkin projection procedure...
  • HiLog

  • Referenced in 51 articles [sw01580]
  • HiLog has a higher-order syntax and allows arbitrary terms to appear in places where ... predicate calculus. But its semantics is first-order and admits a sound and complete proof...
  • Temporal_Eigenvector_Centrality

  • Referenced in 9 articles [sw20368]
  • which are given by the zeroth-order terms of a singular perturbation expansion. We also ... study first-order terms to obtain first-order-mover scores, which concisely describe the magnitude...
  • ICS

  • Referenced in 20 articles [sw21618]
  • procedure for a fragment of first-order logic. Terms are built from uninterpreted function symbols...
  • FluCaP

  • Referenced in 11 articles [sw07748]
  • problems represented in first-order terms...
  • Saigawa

  • Referenced in 9 articles [sw10102]
  • fully automatic confluence tool for first-order term rewrite systems. The latest version is based...
  • FDL3DI

  • Referenced in 54 articles [sw24948]
  • order with a five-point stencil are developed for the difference scheme. Viscous terms ... strategy. For numerical stability, up to tenth-order filtering schemes are developed. The spectral properties...
  • Lambda Free RPOs

  • Referenced in 4 articles [sw28792]
  • Path Orders for Lambda-Free Higher-Order Terms. This Isabelle/HOL formalization defines recursive path orders ... RPOs) for higher-order terms without lambda-abstraction and proves many useful properties about them ... with the standard RPO on first-order terms also in the presence of currying, distinguishing ... promising as the basis of a higher-order superposition calculus...
  • Tyrolean

  • Referenced in 89 articles [sw07830]
  • automatically proving (and disproving) termination of term rewrite systems. It is the completely redesigned successor ... filtering, bounds, dependency pair method, Knuth-Bendix order, lexicographic path order, loop detection, matrix interpretation...
  • rastamat

  • Referenced in 27 articles [sw12356]
  • each frequency subband in order to smooth over short-term noise variations and to remove...