-
C-XSC
- Referenced in 110 articles
[sw00181]
- C-XSC. A programming environment for verified scientific...
-
C-XSC 2.0
- Referenced in 127 articles
[sw00182]
- A C++ class library for extended scientific computing...
-
Expokit
- Referenced in 200 articles
[sw00258]
- Expokit provides a set of routines aimed at...
-
GAP
- Referenced in 3221 articles
[sw00320]
- GAP is a system for computational discrete algebra...
-
gfun
- Referenced in 144 articles
[sw00344]
- The gfun package provides tools for determining and...
-
GLOPT
- Referenced in 19 articles
[sw00359]
- GLOPT is a Fortran 77 program for global...
-
gmp
- Referenced in 289 articles
[sw00363]
- GMP is a free library for arbitrary precision...
-
HSL
- Referenced in 284 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 334 articles
[sw00426]
- hypre is a software library for the solution...
-
INTLIB
- Referenced in 29 articles
[sw00444]
- Algorithm 737: INTLIB - a portable Fortran 77 interval...
-
KNITRO
- Referenced in 200 articles
[sw00490]
- KNITRO is a solver for nonlinear optimization. It...
-
LAPACK
- Referenced in 1713 articles
[sw00503]
- LAPACK is written in Fortran 90 and provides...
-
LSQR
- Referenced in 410 articles
[sw00530]
- Algorithm 583: LSQR: Sparse Linear Equations and Least...
-
MA57
- Referenced in 94 articles
[sw00536]
- MA57 - a code for the solution of sparse...
-
Magma
- Referenced in 3363 articles
[sw00540]
- Computer algebra system (CAS). Magma is a large...
-
Maple
- Referenced in 5403 articles
[sw00545]
- The result of over 30 years of cutting...
-
Mathematica
- Referenced in 6445 articles
[sw00554]
- Almost any workflow involves computing results, and that...
-
Matlab
- Referenced in 13702 articles
[sw00558]
- MATLAB® is a high-level language and interactive...
-
MiniSat
- Referenced in 584 articles
[sw00577]
- An extensible SAT-solver. MiniSat is a minimalistic...