
ARMS
 Referenced in 56 articles
[sw00048]
 ARMS: an algebraic recursive multilevel solver for general...

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

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

ACL2
 Referenced in 236 articles
[sw00060]
 ACL2 is both a programming language in which...

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

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

cdd
 Referenced in 91 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...

Cinderella
 Referenced in 127 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

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

CoCoA
 Referenced in 529 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 1298 articles
[sw00161]
 Coq is a formal proof management system. It...

DEA
 Referenced in 212 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 2092 articles
[sw00320]
 GAP is a system for computational discrete algebra...