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

SINGULAR
 Referenced in 926 articles
[sw00866]
 computations, syzygy and freeresolution 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, 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 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 ... 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...

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

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 squarefree monomial ideals and the combinatorial objects ... Tuyl (”Resolutions of squarefree 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 multiresolution models are supported. Sequential experimental design and adaptive ... expected improvement. The latter supports derivativefree optimization of noisy blackbox functions...

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

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

AMAZONSC
 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 highresolution Riemannbased upwind methods. Second order accuracy ... range of classical benchmark problems for free surface flows including a collapsing water column...

EMan
 Referenced in 5 articles
[sw09056]
 reconstructions beyond 10 Å as such highresolution data become available. A complete singleparticle ... from scratch in C++ and is provided free of charge on our Web site...