
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 36 articles
[sw20011]
 Idris is a general purpose pure functional programming language with dependent types. Dependent types allow ... type classes in Haskell); Typedriven overloading resolution; do notation and idiom brackets; Indentation significant...

RAMSES
 Referenced in 32 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 3 articles
[sw23945]
 conflict resolution. This paper introduces Scavenger, the first theorem prover for pure firstorder 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 MEGA2000, J. Pure Appl. Algebra 164 (2001), and ’Saturation...

KANREN
 Referenced in 5 articles
[sw20083]
 with firstclass 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...

OreAlgebraicAnalysis
 Referenced in 4 articles
[sw15153]
 analysis approach studies such systems from a purely algebraic viewpoint, using Dmodule theory ... homological algebra, such as computation of free resolutions and projective dimension. The OreAlgebraicAnalysis package makes...

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

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

Webstrabnet
 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 1in80. However...

TFA
 Referenced in 1 article
[sw38392]
 efficient and precise virtual method call resolution for Java. The problem of statically resolving virtual ... structure of a program. Our methodology is purely algebraic and there is no need...

BARON
 Referenced in 354 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CoCoA
 Referenced in 654 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 3154 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Macaulay2
 Referenced in 1904 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

Maple
 Referenced in 5363 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that...