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