
CASA
 Referenced in 62 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CGAL
 Referenced in 270 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

COOPT
 Referenced in 5 articles
[sw00158]
 The paper is devoted to promoting and describing...

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

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

DCUHRE
 Referenced in 19 articles
[sw00190]
 Algorithm 698: DCUHRE: an adaptive multidemensional integration routine...

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

FOXBOX
 Referenced in 15 articles
[sw00307]
 FOXBOX: A system for manipulating symbolic objects in...

HOM4PS
 Referenced in 55 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

KANTBP
 Referenced in 13 articles
[sw00482]
 KANTBP: A program for computing energy levels, reaction...

KnotPlot
 Referenced in 20 articles
[sw00491]
 KnotPlot is a program to visualize and manipulate...

Kronecker
 Referenced in 64 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LAPACK
 Referenced in 1403 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1179 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2082 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 4198 articles
[sw00545]
 The result of over 30 years of cutting...

Mathemagix
 Referenced in 31 articles
[sw00553]
 Mathemagix: Towards large scale programming for symbolic and...