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

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

COLAMD
 Referenced in 28 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 30 articles
[sw00149]
 COMPlib: COnstraint matrixoptimization problem library–a collection...

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

CSDP
 Referenced in 194 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 106 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

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

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

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

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

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

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

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

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

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

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

FLINT
 Referenced in 40 articles
[sw00297]
 Fast library for number theory: an introduction. We...