• Macaulay2

  • Referenced in 1567 articles [sw00537]
  • projective varieties, primary decomposition of ideals, integral closure of rings, and more. Computer algebra system...
  • KeYmaera

  • Referenced in 37 articles [sw03709]
  • real arithmetic, we integrate real quantifier elimination following an iterative background closure strategy. Our tool...
  • QthPower

  • Referenced in 3 articles [sw27118]
  • package QthPower: This package computes the integral closure of type I affine domains and some ... D.A.Leonard and R.Pellikaan, Integral closures and weight functions over finite fields, Finite Fields and Their ... D.A.Leonard, A weighted module view of integral closures of affine domains of type I, Advances...
  • Mgfun

  • Referenced in 8 articles [sw06227]
  • numerous algorithmic closure properties, including algorithmic closures under integration and summation. (package Gfun, which performs...
  • reesclos.lib

  • Referenced in 1 article [sw31020]
  • ideal. A library to compute the integral closure of an ideal I in a polynomial ... computes the integral closure of R[It], which is a graded subalgebra ... degree-k-component is the integral closure of the k-th power ... library uses ’normal.lib’ to compute the integral closure of R[It]. This improves the performance...
  • IntegralClosure

  • Referenced in 1 article [sw27522]
  • Macaulay2 package IntegralClosure -- routines for integral closure of affine domains and ideals. This package contains ... several algorithms for computing the integral closure (i.e. normalization) of an affine domain, and also ... paper An Algorithm for Computing the Integral Closure, J. Symbolic Computation...
  • HolonomicFunctions

  • Referenced in 40 articles [sw06666]
  • package can compute annihilating ideals and execute closure properties (addition, multiplication, substitutions) for such functions ... that a given function satisfies. Summation and integration of multivariate holonomic functions can be performed...
  • PROCRACK

  • Referenced in 4 articles [sw09488]
  • combination with the interaction integral or the virtual crack closure technique. In the adaptive crack...
  • MEANS

  • Referenced in 1 article [sw27253]
  • efficient moment expansion approximation with parametric closures that integrates well with the IPython interactive environment...
  • NeuroSLAM

  • Referenced in 1 article [sw31226]
  • grid cells and multilayered head direction cells, integrated with a vision system that provides external ... real time, enabling relocalization and loop closure through sequences of familiar local visual cues ... correct cumulative errors in path integration after loop closure. Using both synthetic and real-world...
  • cmcFoam

  • Referenced in 1 article [sw29516]
  • conditional moment closure (CMC) model for solving non-premixed turbulent combustion: integration and validation ... This article presents a direct integration of conditional moment closure (CMC), an advanced combustion model...
  • FLICA-OVAP

  • Referenced in 12 articles [sw18356]
  • equations, numerical solvers, and the manifold closure laws, which makes FLICA-OVAP a efficient tool ... neutronics codes CRONOS/APOLLO and with an integrated thermal solver for fuels rods and plates...
  • OpenFABMAP

  • Referenced in 1 article [sw26568]
  • appearance-based loop closure detection. The openFABMAP package has been integrated into OpenCV from...
  • FLAC

  • Referenced in 1 article [sw10802]
  • Orstein-Zernike integral equations within the Percus-Yevick or mean spherical approximation closures for neutral...
  • FVCOM

  • Referenced in 1 article [sw30142]
  • FVCOM to provide optional vertical turbulent closure schemes. FVCOM is solved numerically by a second ... order accurate discrete flux calculation in the integral form of the governing equations over...
  • PANORMUS-SPH

  • Referenced in 1 article [sw24818]
  • particle hydrodynamics (SPH) solver is presented, fully integrated within the PANORMUS package [the first author ... latter using the $k$-$varepsilon$ turbulence closure) and considerable flexibility in the solver algorithms ... available graphical user interface. The integration of the FVM and SPH solvers within one code...
  • Farfel

  • Referenced in 2 articles [sw06597]
  • Design”, url{arXiv:1203.1448}]. These extensions integrate forward and reverse AD directly into the programming ... their lexical variable context, and these are closure-converted into top-level subprograms and specialized...
  • Simpl

  • Referenced in 1 article [sw32234]
  • completeness of the Hoare logic. We integrate and automate the Hoare logic in Isabelle/HOL ... effects, pointers to procedures, partial application and closures, dynamic method invocation and also unbounded nondeterminism...
  • Maxis

  • Referenced in 1 article [sw12465]
  • areas of mesh based on the mesh-closure and mesh-union concepts. After the computing ... including linear interpolation, particle remapping, first order integral remapping and high order ENO (essentially...
  • ANSYS

  • Referenced in 641 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...