• Gerris

  • Referenced in 246 articles [sw00341]
  • linear and non-linear shallow-water 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 first-order 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 linear-time 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 high-resolution...
  • 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 non-linear 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 multi-start, multi-resolution global optimisation...
  • Chordality

  • Referenced in 1 article [sw20560]
  • square-free monomial ideals with 2-linear resolution. Indeed, thanks to Fröberg, we know that ... monomial ideal I has a 2-linear 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 multi-resolution 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 resolution-based 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 singularly-perturbed linear systems of differential equations, prototype...
  • MaxSolver

  • Referenced in 20 articles [sw01990]
  • unit propagation or unit resolution rules for max-SAT. 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 multi-resolution analysis ... show how an FRI reconstruction and a linear reconstruction can be fused using filter banks ... image to obtain a single-image super-resolution algorithm. We also propose a further improvement...