
OTTER
 Referenced in 316 articles
[sw02904]
 designed to prove theorems stated in firstorder logic with equality. Otter’s inference rules ... includes facilities for term rewriting, term orderings, KnuthBendix 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 semideﬁnite cones, secondorder cones, nonnegative orthants and Euclidean spaces; and whose objective ... linear functions and logbarrier terms associated with the constraint cones. This includes the special...

Adam
 Referenced in 737 articles
[sw22205]
 functions, based on adaptive estimates of lowerorder 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 term” orderings in the polynomial case. Four involutive criteria...

VAMPIRE
 Referenced in 258 articles
[sw02918]
 KnuthBendix ordering. The lexicographic path ordering has been implemented recently but will ... implement all major operations on sets of terms and clauses. Runtime algorithm specialisation ... accelerate some costly operations, e.g., checks of ordering constraints. Although the kernel of the system...

MUTERM
 Referenced in 34 articles
[sw10015]
 permanently forbidden. This paper describes muterm, 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, muterm ... 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 Secondorder 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 secondorder 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 higherorder nonlinear terms that model the effect of truncated ... identified models compare favourably against reducedorder models obtained from a standard Galerkin projection procedure...

HiLog
 Referenced in 51 articles
[sw01580]
 HiLog has a higherorder syntax and allows arbitrary terms to appear in places where ... predicate calculus. But its semantics is firstorder and admits a sound and complete proof...

Temporal_Eigenvector_Centrality
 Referenced in 9 articles
[sw20368]
 which are given by the zerothorder terms of a singular perturbation expansion. We also ... study firstorder terms to obtain firstordermover scores, which concisely describe the magnitude...

ICS
 Referenced in 20 articles
[sw21618]
 procedure for a fragment of firstorder logic. Terms are built from uninterpreted function symbols...

FluCaP
 Referenced in 11 articles
[sw07748]
 problems represented in firstorder terms...

Saigawa
 Referenced in 9 articles
[sw10102]
 fully automatic confluence tool for firstorder term rewrite systems. The latest version is based...

FDL3DI
 Referenced in 54 articles
[sw24948]
 order with a fivepoint stencil are developed for the difference scheme. Viscous terms ... strategy. For numerical stability, up to tenthorder filtering schemes are developed. The spectral properties...

Lambda Free RPOs
 Referenced in 4 articles
[sw28792]
 Path Orders for LambdaFree HigherOrder Terms. This Isabelle/HOL formalization defines recursive path orders ... RPOs) for higherorder terms without lambdaabstraction and proves many useful properties about them ... with the standard RPO on firstorder terms also in the presence of currying, distinguishing ... promising as the basis of a higherorder 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, KnuthBendix order, lexicographic path order, loop detection, matrix interpretation...

rastamat
 Referenced in 27 articles
[sw12356]
 each frequency subband in order to smooth over shortterm noise variations and to remove...