
Macaulay2
 Referenced in 1904 articles
[sw00537]
 bases and graded or multigraded free resolutions of modules over quotient rings of graded...

SINGULAR
 Referenced in 1504 articles
[sw00866]
 computations, syzygy and freeresolution computations, and many more related functionalities. Based on an easy...

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

WENO
 Referenced in 54 articles
[sw12694]
 very coarse meshes to get a satisfactory resolution, thus making it feasible to develop ... solver includes its faster speed, noisefree resolution, and easiness for arbitrary moment evaluations. This...

CAESAR_SOLVE
 Referenced in 14 articles
[sw10194]
 library for onthefly resolution of alternationfree Boolean equation systems. Boolean equation systems ... using a demanddriven construction and resolution of the corresponding Bes. In this article ... dedicated to onthefly resolution of alternationfree Bess. Four resolution algorithms are currently ... model checking of regular alternationfree modal μcalculus, and onthefly reduction...

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

PieriMaps
 Referenced in 9 articles
[sw12137]
 software package for constructing minimal free resolutions of graded GL n (ℚ)equivariant modules...

RelativeCanonicalResolution
 Referenced in 4 articles
[sw15390]
 normalized scroll and compute the relative canonical resolution. The construction of these curves is based ... functions to compute (possibly nonminimal) free resolutions of such curves by an iterated mapping...

CodepthThree
 Referenced in 4 articles
[sw12131]
 length of the minimal free resolution of R=Q/I is called the codepth...

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

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

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...

EdgeIdeals
 Referenced in 8 articles
[sw06521]
 This package exploits the correspondence between squarefree monomial ideals and the combinatorial objects ... Tuyl (”Resolutions of squarefree monomial ideals via facet ideals: a survey,” Contemporary Mathematics...

tgp
 Referenced in 41 articles
[sw07921]
 class output. Sensitivity analysis and multiresolution models are supported. Sequential experimental design and adaptive ... expected improvement. The latter supports derivativefree optimization of noisy blackbox functions...

ChainComplexOperations
 Referenced in 2 articles
[sw28278]
 free modules in a free resolution of M is at least 2c. Walker’s proof ... Explicitly, if F is a ChainComplex of free Smodules with finite length homology, then...

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...

FirstOrderDeformation.m2
 Referenced in 1 article
[sw38281]
 deformation and their lift to the free resolution. Given variety satisfying the Green Lazasersfelds condition ... deformations and their lift to the free resolution...

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

ResLengthThree
 Referenced in 1 article
[sw36753]
 ResLengthThree  Computation of multiplicative structures on free resolutions of length three...

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