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

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

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

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

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

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

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

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

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

MiniSat
 Referenced in 520 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

Octave
 Referenced in 275 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

PARI/GP
 Referenced in 564 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...

polymake
 Referenced in 280 articles
[sw00724]
 polymake is open source software for research in...

QEPCAD
 Referenced in 273 articles
[sw00752]
 QEPCAD B: A program for computing with semi...

R
 Referenced in 7603 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 1505 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

TSPLIB
 Referenced in 653 articles
[sw00983]
 TSPLIB is a library of sample instances for...

Meschach
 Referenced in 74 articles
[sw01112]
 Meschach: Matrix computations in C. Meschach is a...

RADAU
 Referenced in 74 articles
[sw01118]
 RADAU5 implicit RungeKutta method of order 5...