
ARGENT
 Referenced in 3 articles
[sw03148]
 orbits of induced permutation groups on the set of all possible labelings. In the third ... based on backtrack traversal of the generation tree, where each node corresponds to assignment...

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

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

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

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

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

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

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

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

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

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

Normaliz
 Referenced in 154 articles
[sw00630]
 Normaliz is a tool for computations in affine...

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

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

AUTO
 Referenced in 903 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...

SCIP
 Referenced in 484 articles
[sw01091]
 SCIP is currently one of the fastest non...

MACSYMA
 Referenced in 716 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

SNOPT
 Referenced in 527 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

CUDA
 Referenced in 1230 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

SPIN
 Referenced in 716 articles
[sw03455]
 Spin is a popular opensource software tool...