-
CoCoA
- Referenced in 654 articles
[sw00143]
- CoCoA is a system for Computations in Commutative...
-
Coq
- Referenced in 1880 articles
[sw00161]
- Coq is a formal proof management system. It...
-
CSDP
- Referenced in 202 articles
[sw00169]
- CSDP, A C Library for Semidefinite Programming. This...
-
C-XSC 2.0
- Referenced in 127 articles
[sw00182]
- A C++ class library for extended scientific computing...
-
Diffpack
- Referenced in 115 articles
[sw00203]
- As modern programming methodologies migrate from computer science...
-
EIGIFP
- Referenced in 46 articles
[sw00235]
- eigifp is a MATLAB program for computing a...
-
Expokit
- Referenced in 198 articles
[sw00258]
- Expokit provides a set of routines aimed at...
-
FGb
- Referenced in 247 articles
[sw00286]
- FGb/Gb libraryGb is a program (191 420 lines...
-
FLINT
- Referenced in 58 articles
[sw00297]
- Fast library for number theory: an introduction. We...
-
GAP
- Referenced in 3154 articles
[sw00320]
- GAP is a system for computational discrete algebra...
-
gmp
- Referenced in 282 articles
[sw00363]
- GMP is a free library for arbitrary precision...
-
Gmsh
- Referenced in 720 articles
[sw00366]
- Gmsh is a 3D finite element grid generator...
-
HOM4PS
- Referenced in 81 articles
[sw00410]
- HOM4PS-2.0: a software package for solving polynomial...
-
HSL
- Referenced in 279 articles
[sw00418]
- HSL (formerly the Harwell Subroutine Library) is a...
-
HURRY
- Referenced in 27 articles
[sw00420]
- HURRY: An acceleration algorithm for scalar sequences and...
-
hypre
- Referenced in 306 articles
[sw00426]
- hypre is a software library for the solution...
-
JNF
- Referenced in 6 articles
[sw00478]
- Algorithm 560: JNF, an algorithm for numerical computation...
-
KNITRO
- Referenced in 196 articles
[sw00490]
- KNITRO is a solver for nonlinear optimization. It...
-
LANCELOT
- Referenced in 306 articles
[sw00500]
- LANCELOT. A Fortran package for large-scale nonlinear...
