• 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]
• high-quality 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 Stanley-Reisner 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 non-minimal) free resolutions of such curves by an iterated...

• CTH

• Referenced in 22 articles [sw08719]
• minimize the dispersion present in Eulerian codes. It has a high-resolution 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]
• high-resolution panchromatic image and a low-resolution multispectral (Ms) image at the same geographical ... formulated as a convex optimization problem which minimizes a linear combination of a least-squares ... keep sharp edges of the high-resolution 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 percentage-error 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...