• CRKSPH

  • Referenced in 12 articles [sw41141]
  • modifications to the traditional SPH scheme Conservative Reproducing Kernel SPH, or CRKSPH. CRKSPH retains many ... methods (such as preserving Galilean invariance and manifest conservation of mass, momentum, and energy) while...
  • Jets

  • Referenced in 30 articles [sw23621]
  • compute symmetries, conservation laws, zero-curvature representations, recursion operators, any many other invariants of systems...
  • GUSTAF

  • Referenced in 5 articles [sw18113]
  • method is applied to enforce conservation of the integral invariants of the shallow-water equations ... each time-step, of the three integral invariants of the shallow-water equations. According ... enforcement of conservation of integral-invariants via the augmented Lagrangian method, no finite-time “blowing...
  • UnQL

  • Referenced in 10 articles [sw20018]
  • over relational data it is a conservative extension of the relational calculus. The underlying data ... bisimulation. Structural recursion is shown to be invariant with respect to value equality...
  • SHALL 4

  • Referenced in 3 articles [sw00007]
  • solving the shallow-water equations in conservation-law form. A FORTRAN IV computer program ... usual fourth-order schemes. The integral invariants of the shallow-water equations are calculated ... step and were determined to be well conserved during the numerical integration, ensuring that...
  • colcor

  • Referenced in 5 articles [sw12289]
  • holds under column dependence, and give a conservative (upwardly biased) estimator for the mean-squared ... construct a permutation-invariant test of column independence. Finally, we argue that estimating the mean...
  • MOTIF-EM

  • Referenced in 1 article [sw16892]
  • technique used by MOTIF-EM to detect conserved sub-structures is inspired by a recent ... recognition. The technique works by constructing rotationally invariant, low-dimensional representations of local regions ... graph theory is used to retrieve conserved structural domains or motifs. MOTIF-EM has been...
  • PorAS

  • Referenced in 3 articles [sw06536]
  • solver, is proposed for hyperbolic systems of conservation laws with source terms and porosity ... waves and is determined using the Riemann invariants. To allow a direct computation...
  • Leptoquark

  • Referenced in 1 article [sw28235]
  • assuming the Standard Model fermion content and conservation of baryon and lepton numbers. Scalar ... emphasising the implications of SU(2) gauge invariance, electroweak and flavour constraints, on the possible...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • CONSLAW

  • Referenced in 7 articles [sw00155]
  • An improved algorithm to explicitly compute the polynomial...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GeM

  • Referenced in 100 articles [sw00332]
  • We present a recently developed Maple-based “GeM...
  • Gerris

  • Referenced in 354 articles [sw00341]
  • Gerris is a Free Software program for the...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1958 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3363 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...