• Macaulay2

  • Referenced in 988 articles [sw00537]
  • bases and graded or multi-graded free resolutions of modules over quotient rings of graded...
  • SINGULAR

  • Referenced in 926 articles [sw00866]
  • computations, syzygy and free-resolution computations, and many more related functionalities. Based on an easy...
  • CoCoA

  • Referenced in 478 articles [sw00143]
  • compute Grobner bases, syzygies and minimal free resolution, intersection, division, the radical of an ideal...
  • WENO

  • Referenced in 40 articles [sw12694]
  • very coarse meshes to get a satisfactory resolution, thus making it feasible to develop ... solver includes its faster speed, noise-free resolution, and easiness for arbitrary moment evaluations. This...
  • CAESAR_SOLVE

  • Referenced in 13 articles [sw10194]
  • library for on-the-fly resolution of alternation-free Boolean equation systems. Boolean equation systems ... using a demand-driven construction and resolution of the corresponding Bes. In this article ... dedicated to on-the-fly resolution of alternation-free Bess. Four resolution algorithms are currently ... model checking of regular alternation-free modal μ-calculus, and on-the-fly reduction...
  • PieriMaps

  • Referenced in 7 articles [sw12137]
  • software package for constructing minimal free resolutions of graded GL n (ℚ)-equivariant modules...
  • Gerris

  • Referenced in 120 articles [sw00341]
  • available free of charge under the Free Software GPL license. Gerris was created by Stéphane ... shallow-water equations Adaptive mesh refinement: the resolution is adapted dynamically to the features...
  • mregular

  • Referenced in 3 articles [sw10947]
  • computation of a minimal graded free resolution of the ideal. It also determines depth(basering/ideal...
  • Conn

  • Referenced in 2 articles [sw08599]
  • conversion to a description using free resolutions. We describe our implementation in Singular 3.0, available ... type AnAn, DnDn or EnEn, only the free MCM modules admit connections...
  • RelativeCanonicalResolution

  • Referenced in 1 article [sw15390]
  • normalized scroll and compute the relative canonical resolution. The construction of these curves is based ... functions to compute (possibly non-minimal) free resolutions of such curves by an iterated mapping...
  • InvolutiveBases

  • Referenced in 1 article [sw13599]
  • basis can be performed. Syzygies and free resolutions can be computed using Janet bases...
  • CodepthThree

  • Referenced in 1 article [sw12131]
  • length of the minimal free resolution of R=Q/I is called the codepth...
  • EdgeIdeals

  • Referenced in 4 articles [sw06521]
  • This package exploits the correspondence between square-free monomial ideals and the combinatorial objects ... Tuyl (”Resolutions of square-free monomial ideals via facet ideals: a survey,” Contemporary Mathematics...
  • ODDLS

  • Referenced in 3 articles [sw18207]
  • capture of the free surface as well as in the resolution of the governing equations...
  • OreAlgebraicAnalysis

  • Referenced in 0 articles [sw15153]
  • homological algebra, such as computation of free resolutions and projective dimension. The OreAlgebraicAnalysis package makes...
  • tgp

  • Referenced in 8 articles [sw07921]
  • class output. Sensitivity analysis and multi-resolution models are supported. Sequential experimental design and adaptive ... expected improvement. The latter supports derivative-free optimization of noisy black-box functions...
  • Geomsolvex

  • Referenced in 1 article [sw15919]
  • regular sequence. The geometric resolution algorithm is a Gröbner-free alternative for solving polynomial systems...
  • Darwin

  • Referenced in 12 articles [sw04175]
  • Darwin is a decision procedure for function-free clause sets, and is in general faster ... analogously to a restricted form of unit resolution and subsumption by unit clauses. To retain...
  • AMAZON-SC

  • Referenced in 3 articles [sw06134]
  • simulate the breakup and recombination of the free surface and thus can model wave breaking ... hyperbolic system which is solved using high-resolution Riemann-based upwind methods. Second order accuracy ... range of classical bench-mark problems for free surface flows including a collapsing water column...
  • EMan

  • Referenced in 5 articles [sw09056]
  • reconstructions beyond 10 Å as such high-resolution data become available. A complete single-particle ... from scratch in C++ and is provided free of charge on our Web site...