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

OTTER
 Referenced in 316 articles
[sw02904]
 Otter’s inference rules are based on resolution and paramodulation, and it includes facilities ... being actively developed, and maintenance and support minimal. We recommend using Otter/Mace2’s successor Prover9/Mace4...

Thaw
 Referenced in 14 articles
[sw01150]
 problem. The method involves introducing a minimal angular resolution and discarding those points...

RELION
 Referenced in 19 articles
[sw22792]
 highquality reconstructions and reliable resolution estimates with minimal user intervention and at acceptable computational...

CyclicPolytopeRes
 Referenced in 4 articles
[sw08078]
 cyclic polytope. This package computes the minimal resolution of the StanleyReisner ring ... give a formula for the minimal resolutions...

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

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

CTH
 Referenced in 22 articles
[sw08719]
 minimize the dispersion present in Eulerian codes. It has a highresolution interface tracker that...

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

MOCUS
 Referenced in 9 articles
[sw12553]
 system success modes, or minimal path sets. MOCUS uses direct resolution of the fault tree ... resolve the fault tree to obtain the minimal sets. A key point of the algorithm...

ENVELOPE
 Referenced in 3 articles
[sw18600]
 these programs allow one to compute minimal projective resolutions of Λ over...

Points
 Referenced in 1 article
[sw40574]
 many counterexamples as possible to the minimal resolution conjecture ... paper ”Exterior algebra methods for the minimal resolution conjecture”, by David Eisenbud, Sorin Popescu, Frank...

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

Points
 Referenced in 2 articles
[sw01064]
 Hilbert Function or of minimal generators or of the resolution of the ideal ... computation of the Hilbert function and of minimal generators of the ideals of a finite...

GRUMMP
 Referenced in 10 articles
[sw09672]
 meshes. There must be a balance between resolution of the boundary and surface features ... element aspect ratio must be small to minimize linear system condition number and interpolation error...

SIRF
 Referenced in 4 articles
[sw27454]
 highresolution panchromatic image and a lowresolution multispectral (Ms) image at the same geographical ... formulated as a convex optimization problem which minimizes a linear combination of a leastsquares ... keep sharp edges of the highresolution panchromatic image. We further propose to simultaneously register...

PruneComplex
 Referenced in 0 articles
[sw36760]
 output is guaranteed to be a minimal free resolution. Algorithms in this package are also...

Weave
 Referenced in 1 article
[sw36378]
 templates in the correct resolution, combined with optimal lattices to minimize the required number...

MethylSig
 Referenced in 4 articles
[sw23506]
 study DNA methylation at single CpG site resolution. One challenging question is how best ... groups of biological samples in order to minimize false positive findings. RESULTS: We present...

GENSPECT
 Referenced in 6 articles
[sw24127]
 specified percentageerror tolerance in a near minimal number of calculations. The algorithm employs ... where it is appropriate to reduce the resolution of a particular line without exceeding...