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

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

GMRES
 Referenced in 16 articles
[sw00365]
 Algorithm 842: A set of GMRES routines for...

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

INTBIS
 Referenced in 31 articles
[sw00442]
 Algorithm 681: INTBIS, a portable interval Newton/bisection package...

INTLIB
 Referenced in 29 articles
[sw00444]
 Algorithm 737: INTLIB  a portable Fortran 77 interval...

intpakX
 Referenced in 11 articles
[sw00445]
 The Maple Power Tool intpakX defines Maple types...

Isabelle
 Referenced in 669 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

KNITRO
 Referenced in 190 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

LANCELOT
 Referenced in 304 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

LAPACK
 Referenced in 1671 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...

MA57
 Referenced in 89 articles
[sw00536]
 MA57  a code for the solution of sparse...

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

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

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

Mathematica
 Referenced in 6213 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12983 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...