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

FGb
 Referenced in 240 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

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

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

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

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

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

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

nauty
 Referenced in 558 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

NTL
 Referenced in 200 articles
[sw00638]
 NTL is a highperformance, portable C++ library...

PSPLIB
 Referenced in 250 articles
[sw00740]
 PSPLIB  a project scheduling problem library. We present...

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

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

SINGULAR
 Referenced in 1373 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

SPIRAL
 Referenced in 46 articles
[sw00903]
 The SPIRAL system (www.spiral.net) is a tool for...

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

DTCWT
 Referenced in 97 articles
[sw02857]
 Research on pixellevel image fusion algorithm based...

SPLUS
 Referenced in 595 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

LDGM
 Referenced in 8 articles
[sw03195]
 LDGM codes for channel coding and joint source...

LDPC
 Referenced in 79 articles
[sw03321]
 Software for Low Density Parity Check Codes This...