• Macaulay2

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

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

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

  • Referenced in 232 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 310 articles [sw02904]
  • Otter’s inference rules are based on resolution and paramodulation, and it includes facilities...
  • Gerris

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

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

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

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

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

  • Referenced in 51 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 48 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 59 articles [sw15478]
  • equations of gas dynamics to employ high-resolution wave-propagation algorithms in a more general...
  • LEO-II

  • Referenced in 50 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...
  • FRGC

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

  • Referenced in 27 articles [sw00542]
  • MALLBA project tackles the resolution of combinatorial optimization problems using algorithmic skeletons implemented ... MALLBA offers three families of generic resolution methods: exact, heuristic and hybrid. Moreover, for each ... resolution method, MALLBA provides three different implementations: sequential, parallel for local area networks, and parallel...
  • GHC

  • Referenced in 43 articles [sw23765]
  • languages. GHC is a restriction of a resolution-based theorem prover for Horn-clause sentences...
  • RAMSES

  • Referenced in 24 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...