
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 3164 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gfun
 Referenced in 144 articles
[sw00344]
 The gfun package provides tools for determining and...

HYPERG
 Referenced in 5 articles
[sw00423]
 HYPERG: a Maple package for manipulating hypergeometric series...

Invar
 Referenced in 35 articles
[sw00446]
 The Invar Tensor Package. The Invar package is...

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

Kronecker
 Referenced in 117 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

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

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

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

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

Maxima
 Referenced in 170 articles
[sw00560]
 Maxima is a system for the manipulation of...

MOLGEN
 Referenced in 26 articles
[sw00586]
 Due to a detailed description of the underlying...

MuPAD
 Referenced in 139 articles
[sw00606]
 MuPAD consists of a powerful symbolic engine, a...

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

NetworkX
 Referenced in 161 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

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

numericalsgps
 Referenced in 129 articles
[sw00640]
 On the GAP package numericalsgps. After short introductions...

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