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

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

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

CoCoA
 Referenced in 512 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 1233 articles
[sw00161]
 Coq is a formal proof management system. It...

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

DCUHRE
 Referenced in 10 articles
[sw00190]
 An adaptive routine, DCUHRE, for the numerical integration...

FGb
 Referenced in 220 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 51 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 19 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 1295 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

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

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

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