
Gerris
 Referenced in 246 articles
[sw00341]
 linear and nonlinear shallowwater equations Adaptive mesh refinement: the resolution is adapted dynamically...

METEOR
 Referenced in 16 articles
[sw26327]
 been thought for some time that linear resolution procedures are not the best resolution formats ... first implementations that take advantage of the linearity seem to preclude use of subsumption ... Prolog, which is based on a linear input resolution procedure. In particular, the WAM architecture ... linear input proof procedure for full firstorder logic, similar to but distinct from resolution...

Ltur
 Referenced in 40 articles
[sw11689]
 LTUR: A simplified linear time unit resolution algorithm for Horn formulae and computer implementation. Testing ... proposes a simplified way of deriving a lineartime algorithm avoiding many of the intricacies...

CLAWPACK
 Referenced in 123 articles
[sw01069]
 linear and nonlinear hyperbolic systems of conservation laws, with a focus on implementing highresolution...

OreModules
 Referenced in 35 articles
[sw06226]
 Linear Control Systems over Ore Algebras OreModules is a Maple implementation of algorithms which compute ... parametrizations, extension modules (ext), resolutions and other algebraic objects for linear systems of differential equations...

GYSELA
 Referenced in 40 articles
[sw17825]
 linear growth rate of the most unstable mode), including for cases with a high resolution...

TRP++
 Referenced in 15 articles
[sw14679]
 prover for Propositional Linear Time Temporal Logic based on the temporal resolution calculus...

Lyapunov
 Referenced in 5 articles
[sw09343]
 function in a general class of nonlinear dynamical systems. The algorithm can be applied ... numerical algorithm involves the resolution of a linear programming problem. The algebraic version is implemented...

FLIRT
 Referenced in 18 articles
[sw02671]
 accurate automated linear (affine) registration tool based around a multistart, multiresolution global optimisation...

Chordality
 Referenced in 1 article
[sw20560]
 squarefree monomial ideals with 2linear resolution. Indeed, thanks to Fröberg, we know that ... monomial ideal I has a 2linear resolution if and only...

tgp
 Referenced in 33 articles
[sw07921]
 implemented include Bayesian linear models, CART, treed linear models, stationary separable and isotropic ... class output. Sensitivity analysis and multiresolution models are supported. Sequential experimental design and adaptive...

Lindalg
 Referenced in 2 articles
[sw22463]
 Lindalg: Mathemagix package for Symbolic Resolution of Linear Systems of Differential Equations with Singularities. Developed...

chebop
 Referenced in 28 articles
[sw12693]
 good to be able to solve a linear differential equation by typing u=L , where ... methods on Chebyshev grids of automatically determined resolution...

Nenofex
 Referenced in 18 articles
[sw09579]
 contrast to eliminating existentially quantified variables by resolution on CNF, which causes the formula size ... involved with only a linear increase of the formula size. This property motivates ... given memory limit less frequently than a resolutionbased QBF solver for CNF, but also...

BGeost
 Referenced in 6 articles
[sw20765]
 build high resolution models conditioned to both point and linear average block support data...

FWT2D
 Referenced in 5 articles
[sw08943]
 modelling requires the resolution of a large sparse system of linear equations which is performed...

ParamInt
 Referenced in 2 articles
[sw22465]
 ParamInt: Maple package for symbolic resolution of singularlyperturbed linear systems of differential equations, prototype...

MaxSolver
 Referenced in 20 articles
[sw01990]
 unit propagation or unit resolution rules for maxSAT. We summarize three existing unit propagation ... effective lower bound based on linear programming (LP). We show that the LP lower bound...

SchurRings
 Referenced in 4 articles
[sw11785]
 emphasis on the representation theory of general linear and symmetric groups. As an application ... implement a heuristic method for approximating equivariant resolutions of modules over polynomial rings with ... product of a combination of general linear and symmetric groups...

FRESH
 Referenced in 2 articles
[sw28344]
 piecewise smooth functions and propose a resolution enhancement method for this type of functions ... linear reconstruction methods. We combine the two reconstructions by leveraging from the multiresolution analysis ... show how an FRI reconstruction and a linear reconstruction can be fused using filter banks ... image to obtain a singleimage superresolution algorithm. We also propose a further improvement...