• YAQUI

  • Referenced in 21 articles [sw18316]
  • allowed by a purely Lagrangian method, and with more resolution than is afforded...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • syntactical point of view, BABEL combines pure PROLOG with a first order functional notation ... semantics which embodies both rewriting and SLD resolution and supports computation with potentially infinite data...
  • Idris

  • Referenced in 33 articles [sw20011]
  • Idris is a general purpose pure functional programming language with dependent types. Dependent types allow ... type classes in Haskell); Type-driven overloading resolution; do notation and idiom brackets; Indentation significant...
  • RAMSES

  • Referenced in 24 articles [sw18064]
  • formation in the universe with high spatial resolution. The code is based on Adaptive Mesh ... carefully estimated using various test cases, from pure gas dynamical tests to cosmological ones ... grid, reaching a formal resolution of 81923. A convergence analysis of different quantities, such...
  • Scavenger

  • Referenced in 2 articles [sw23945]
  • conflict resolution. This paper introduces Scavenger, the first theorem prover for pure first-order logic...
  • mregular

  • Referenced in 4 articles [sw10947]
  • computation of a minimal graded free resolution of the ideal. It also determines depth(basering/ideal ... monomial ideals’, Proceedings of MEGA-2000, J. Pure Appl. Algebra 164 (2001), and ’Saturation...
  • KANREN

  • Referenced in 5 articles [sw20083]
  • with first-class relations, embedded in a pure functional subset of Scheme. The system ... systems to polymorphic type inference and overloading resolution, to model checking and theorem proving...
  • OpenMG

  • Referenced in 1 article [sw13244]
  • different components of the error at different resolutions using smoothers that reduce high-frequency components ... written only in Python. OpenMG is a pure Python experimentation environment for testing multigrid concepts...
  • OreAlgebraicAnalysis

  • Referenced in 1 article [sw15153]
  • analysis approach studies such systems from a purely algebraic viewpoint, using D-module theory ... homological algebra, such as computation of free resolutions and projective dimension. The OreAlgebraicAnalysis package makes...
  • QuasarNET

  • Referenced in 1 article [sw25901]
  • lines, QuasarNET defines a sample 99.51±0.03% pure and 99.52±0.03% complete, well above ... signal-to-noise and medium resolution, typical of current and future astrophysical surveys, and could...
  • Web-strabnet

  • Referenced in 2 articles [sw01018]
  • This may result from muscular, neuromuscular or purely mechanical factors. An affected eye will have ... space of 10 parameters each with a resolution of 1-in-80. However...
  • BARON

  • Referenced in 305 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CoCoA

  • Referenced in 605 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1751 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2702 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Macaulay2

  • Referenced in 1576 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 2718 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 4919 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5703 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11496 articles [sw00558]
  • MATLAB® is a high-level language and interactive...