• Macaulay2

  • Referenced in 1692 articles [sw00537]
  • bases and graded or multi-graded free resolutions of modules over quotient rings of graded...
  • SINGULAR

  • Referenced in 1408 articles [sw00866]
  • computations, syzygy and free-resolution computations, and many more related functionalities. Based on an easy...
  • CoCoA

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

  • Referenced in 239 articles [sw02918]
  • kernel implements the calculi of ordered binary resolution and superposition for handling equality. The splitting ... subsumption, tautology deletion (optionally modulo commutativity), subsumption resolution, rewriting by ordered unit equalities...
  • OTTER

  • Referenced in 314 articles [sw02904]
  • Otter’s inference rules are based on resolution and paramodulation, and it includes facilities...
  • Gerris

  • Referenced in 271 articles [sw00341]
  • shallow-water equations Adaptive mesh refinement: the resolution is adapted dynamically to the features...
  • BerkMin

  • Referenced in 160 articles [sw06917]
  • compare BerkMin with Chaff, the leader among resolution-based SAT-solvers. Experiments show that...
  • CLAWPACK

  • Referenced in 127 articles [sw01069]
  • laws, with a focus on implementing high-resolution Godunov type methods using limiters...
  • Vador

  • Referenced in 114 articles [sw06987]
  • Approximation by a Direct and Object-oriented Resolution. The Vlasov equation describes the evolution...
  • OpenCV

  • Referenced in 96 articles [sw11376]
  • stitch images together to produce a high resolution image of an entire scene, find similar...
  • WENO

  • Referenced in 52 articles [sw12694]
  • very coarse meshes to get a satisfactory resolution, thus making it feasible to develop ... solver includes its faster speed, noise-free resolution, and easiness for arbitrary moment evaluations. This...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • semantics which embodies both rewriting and SLD resolution and supports computation with potentially infinite data...
  • iProver

  • Referenced in 49 articles [sw09707]
  • addition to instantiation, iProver implements ordered resolution calculus and a combination of instantiation and ordered ... resolution. In this paper we discuss the design of iProver and related implementation issues...
  • AMRCLAW

  • Referenced in 64 articles [sw15478]
  • equations of gas dynamics to employ high-resolution wave-propagation algorithms in a more general...
  • SiZer

  • Referenced in 64 articles [sw34664]
  • scale. Here “scale” means “level of resolution”; that is, “bandwidth...
  • Healpix

  • Referenced in 53 articles [sw08860]
  • HEALPix: A Framework for High-Resolution Discretization and Fast Analysis of Data Distributed...
  • LEO-II

  • Referenced in 51 articles [sw00512]
  • standalone, resolution-based higher-order theorem prover designed for fruitful cooperation with specialist provers...
  • MetiTarski

  • Referenced in 49 articles [sw00573]
  • proved automatically by MetiTarski: a resolution theorem prover (Metis) modified to call a decision procedure...
  • RAMSES

  • Referenced in 28 articles [sw18064]
  • with adaptive mesh refinement. A new high resolution code called RAMSES. A new N-body ... formation in the universe with high spatial resolution. The code is based on Adaptive Mesh ... grid, reaching a formal resolution of 81923. A convergence analysis of different quantities, such ... results are converging down to the actual resolution limit of the code, and are well...
  • FRGC

  • Referenced in 46 articles [sw13805]
  • FRGC will consist of three modes: high resolution still images, 3D images, and multi-images...