• Macaulay2

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

  • Referenced in 44 articles [sw09025]
  • physical closure laws in the CATHARE code. CATHARE is a 2-fluid thermal-hydraulic code ... flow is essentially 1-dimensional. Closure laws concerning mass, momentum and energy exchanges between phases...
  • HolonomicFunctions

  • Referenced in 48 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...
  • filib++

  • Referenced in 42 articles [sw06459]
  • sets are computed to enclose the topological closure of a range of a function defined...
  • KeYmaera

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

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

  • Referenced in 31 articles [sw20098]
  • linear Datalog, first order logic with transitive closure, and non-deterministic logarithmic space (assuming ordering...
  • StratiGraph

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

  • Referenced in 20 articles [sw22077]
  • features, including loops, ifs, recursion and closures, and it can even take derivatives of derivatives...
  • FLICA-OVAP

  • 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 FLICA-OVAP a efficient tool...
  • TABLEAUX

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

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

  • Referenced in 14 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 12 articles [sw32569]
  • actions; GCRD and LCLM; D-finite 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 two-element airfoils with different closure assumptions for the Reynolds stresses. The examples...
  • Juno-2

  • Referenced in 11 articles [sw07216]
  • amounts only to an implementation of unification closure) with a sophisticated numerical solver...