
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); Typedriven 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 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...

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

OreAlgebraicAnalysis
 Referenced in 1 article
[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...

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

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 highlevel language and interactive...