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

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

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

WENO
 Referenced in 44 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 13 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...

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

Gerris
 Referenced in 148 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...

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

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

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

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

EdgeIdeals
 Referenced in 4 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...

FoldX
 Referenced in 8 articles
[sw21771]
 free energy of a macromolecule based on its highresolution 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...

Chordality
 Referenced in 1 article
[sw20560]
 beautiful classification of squarefree monomial ideals with 2linear resolution. Indeed, thanks to Fröberg ... that a squarefree monomial ideal I has a 2linear resolution if and only...

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

Geomsolvex
 Referenced in 2 articles
[sw15919]
 regular sequence. The geometric resolution algorithm is a Gröbnerfree alternative for solving polynomial systems...

Darwin
 Referenced in 23 articles
[sw04175]
 Darwin is a decision procedure for functionfree clause sets, and is in general faster ... analogously to a restricted form of unit resolution and subsumption by unit clauses. To retain...