
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 ... degreekcomponent is the integral closure of the kth 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 realworld...

cmcFoam
 Referenced in 1 article
[sw29516]
 conditional moment closure (CMC) model for solving nonpremixed turbulent combustion: integration and validation ... This article presents a direct integration of conditional moment closure (CMC), an advanced combustion model...

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

OpenFABMAP
 Referenced in 1 article
[sw26568]
 appearancebased loop closure detection. The openFABMAP package has been integrated into OpenCV from...

FLAC
 Referenced in 1 article
[sw10802]
 OrsteinZernike integral equations within the PercusYevick 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...

PANORMUSSPH
 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 closureconverted into toplevel 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 meshclosure and meshunion 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...