
PRELIS
 Referenced in 37 articles
[sw09526]
 moment matrices; Computing asymptotic covariance matrices of sample moments; Imputation by matching; Multiple imputation; Multiple ... censored regression; ML and MINRES exploratory factor analysis...

BEMLIB
 Referenced in 106 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...

FIDAP
 Referenced in 37 articles
[sw00006]
 FIDAP (A Fluid Dynamics Analysis Program). This paper...

ANSYS
 Referenced in 685 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

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

Concepts
 Referenced in 22 articles
[sw00151]
 The authors show how mathematical concepts can be...

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

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

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

Elkhound
 Referenced in 8 articles
[sw00236]
 The Generalized LR (GLR) parsing algorithm is attractive...

GAP
 Referenced in 3068 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 275 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Gmsh
 Referenced in 690 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

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

LEDA
 Referenced in 262 articles
[sw00509]
 In the core computer science areas  data structures...

LSQR
 Referenced in 385 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

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

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