• Macaulay2

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

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

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

  • Referenced in 46 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 14 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 9 articles [sw12137]
  • software package for constructing minimal free resolutions of graded GL n (ℚ)-equivariant modules...
  • Gerris

  • Referenced in 197 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...
  • HighestWeights

  • Referenced in 2 articles [sw27520]
  • Macaulay2 package HighestWeights -- decompose free resolutions and graded modules with a semisimple Lie group action ... representation theoretic structure of equivariant free resolutions and graded modules with the action ... consider the free modules in an equivariant resolution, or the graded components of a module ... Galetto - Propagating weights of tori along free resolutions. The methods of this package are meant...
  • RelativeCanonicalResolution

  • Referenced in 3 articles [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...
  • CodepthThree

  • Referenced in 3 articles [sw12131]
  • length of the minimal free resolution of R=Q/I is called the codepth...
  • 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...
  • EdgeIdeals

  • Referenced in 6 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...
  • tgp

  • Referenced in 26 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...
  • ChainComplexOperations

  • Referenced in 1 article [sw28278]
  • free modules in a free resolution of M is at least 2c. Walker’s proof ... Explicitly, if F is a ChainComplex of free S-modules with finite length homology, then...
  • InvolutiveBases

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

  • Referenced in 1 article [sw15153]
  • homological algebra, such as computation of free resolutions and projective dimension. The OreAlgebraicAnalysis package makes...
  • FoldX

  • Referenced in 9 articles [sw21771]
  • free energy of a macromolecule based on its high-resolution 3D structure, is now publicly ... binding sites and the analysis of the free energy of complex formation. Alanine scanning...
  • ODDLS

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