
ARMS
 Referenced in 46 articles
[sw00048]
 The paper describes new recursive multilevel method for...

ASTRA
 Referenced in 12 articles
[sw00052]
 Fault Tree Analysis (FTA) is a formalised deductive...

ATLAS
 Referenced in 180 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

AXIOM
 Referenced in 151 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

Bagel
 Referenced in 2 articles
[sw00065]
 This paper presents two coupled software packages which...

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

BoomerAMG
 Referenced in 71 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

Chronos
 Referenced in 5 articles
[sw00125]
 The EDPEPPS toolset is the fruit of a...

Cider
 Referenced in 4 articles
[sw00126]
 Smart Diagram Environments (SDEs) are software applications that...

CMIT
 Referenced in 3 articles
[sw00137]
 We present an LP model for resource deployment...

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

COMPAS
 Referenced in 14 articles
[sw00147]
 In this paper we describe COMPAS  the open...

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

DEA
 Referenced in 205 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

DISNEL
 Referenced in 5 articles
[sw00207]
 The paper describes the features of the DISNEL...

ESTIMA
 Referenced in 14 articles
[sw00249]
 System identification is an iterative model building process...

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

GITA
 Referenced in 7 articles
[sw00353]
 GITA: A REDUCE program for the normalization of...

GLie
 Referenced in 6 articles
[sw00356]
 GLie; a MAPLE program for Lie supersymmetries of...

gmp
 Referenced in 155 articles
[sw00363]
 GMP is a free library for arbitrary precision...