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

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

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

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

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

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

cdd
 Referenced in 115 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 153 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

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

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

CoCoALib
 Referenced in 61 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

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

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

Cuba
 Referenced in 77 articles
[sw00173]
 Cuba  a library for multidimensional numerical integration. The...

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

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