
CLUCalc
 Referenced in 29 articles
[sw00133]
 CLUCalc is a freely available software tool for...

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

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

COLAMD
 Referenced in 26 articles
[sw00145]
 Two codes are discussed, COLAMD and SYMAMD, that...

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

complib
 Referenced in 24 articles
[sw00149]
 COMPlib: COnstraint matrixoptimization problem library–a collection...

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

CSDP
 Referenced in 179 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

CsegGraph
 Referenced in 7 articles
[sw00170]
 CsegGraph: a graph colouring instance generator. The implementation...

CXSC
 Referenced in 103 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 118 articles
[sw00182]
 A C++ class library for extended scientific computing...

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

Diffpack
 Referenced in 108 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

EIGIFP
 Referenced in 9 articles
[sw00235]
 eigifp is a MATLAB program for computing a...

Expokit
 Referenced in 148 articles
[sw00258]
 Expokit provides a set of routines aimed at...

Fermat
 Referenced in 34 articles
[sw00277]
 Fermat is a computer algebra system (CAS) for...

FFLASFFPACK
 Referenced in 17 articles
[sw00283]
 FFPACK: finite field linear algebra package. The FFLAS...

FGb
 Referenced in 226 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

FIAT
 Referenced in 30 articles
[sw00287]
 Algorithm 839: FIAT, a new paradigm for computing...

FLAME
 Referenced in 37 articles
[sw00293]
 We present a number of application program interfaces...