
ARMS
 Referenced in 53 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 187 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

AXIOM
 Referenced in 159 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 228 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

cdd
 Referenced in 89 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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 517 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 1242 articles
[sw00161]
 Coq is a formal proof management system. It...

DEA
 Referenced in 208 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 2039 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...