
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 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

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

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

cdd
 Referenced in 112 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 152 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 646 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

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

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

DRAGON
 Referenced in 14 articles
[sw00220]
 Dragon is an application for the calculation of...