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

CATHARE
 Referenced in 45 articles
[sw09025]
 physical closure laws in the CATHARE code. CATHARE is a 2fluid thermalhydraulic code ... flow is essentially 1dimensional. Closure laws concerning mass, momentum and energy exchanges between phases...

HolonomicFunctions
 Referenced in 52 articles
[sw06666]
 package can compute annihilating ideals and execute closure properties (addition, multiplication, substitutions) for such functions...

CAVEAT
 Referenced in 46 articles
[sw09031]
 material interfaces, including slip, cavitation, or void closure. Also included is the capability to treat...

KeYmaera
 Referenced in 43 articles
[sw03709]
 real quantifier elimination following an iterative background closure strategy. Our tool is particularly suitable...

filib++
 Referenced in 43 articles
[sw06459]
 sets are computed to enclose the topological closure of a range of a function defined...

BIDE
 Referenced in 36 articles
[sw39999]
 candidate maintenance. We adopt a novel sequence closure checking scheme called bidirectional extension, and prunes...

CCSTM
 Referenced in 34 articles
[sw33312]
 flexible method names, implicit parameters, and closures keep the syntax concise, and the reference instances...

GraphLog
 Referenced in 32 articles
[sw20098]
 linear Datalog, first order logic with transitive closure, and nondeterministic logarithmic space (assuming ordering...

Autograd
 Referenced in 22 articles
[sw22077]
 features, including loops, ifs, recursion and closures, and it can even take derivatives of derivatives...

StratiGraph
 Referenced in 21 articles
[sw08331]
 software tool StratiGraph for computing and visualizing closure hierarchy graphs associated with different orbit...

FLICAOVAP
 Referenced in 13 articles
[sw18356]
 each model, an adapted set of closure laws is proposed concerning mass and heat transfer ... equations, numerical solvers, and the manifold closure laws, which makes FLICAOVAP a efficient tool...

TABLEAUX
 Referenced in 18 articles
[sw11674]
 several families of operators with their transitive closure and converse. The decision procedure...

AltErgo
 Referenced in 16 articles
[sw04888]
 based on CC(X) a congruence closure algorithm parameterized by an equational theory X. Currently...

Regular Sets
 Referenced in 15 articles
[sw28793]
 relations over union, concatenation and (reflexive) transitive closure is obtained. Extended regular expressions with complement...

CERENA
 Referenced in 13 articles
[sw19501]
 amongst others variable truncation orders and different closure schemes...

ore_algebra
 Referenced in 13 articles
[sw32569]
 actions; GCRD and LCLM; Dfinite closure properties; natural transformations between related algebras; guessing; desingularization...

Roo
 Referenced in 7 articles
[sw12478]
 described a parallel algorithm for computing the closure of a set under an operation ... viewed as the computation of the closure of a set of clauses under ... particular, we have applied the parallel closure algorithm to OTTER, currently the fastest sequential theorem...

Mgfun
 Referenced in 8 articles
[sw06227]
 computer algebra methods and enjoy numerous algorithmic closure properties, including algorithmic closures under integration...

EUROVAL
 Referenced in 11 articles
[sw02124]
 characteristics for twoelement airfoils with different closure assumptions for the Reynolds stresses. The examples...