
DSATUR
 Referenced in 8 articles
[sw03004]
 algorithm uses more colors than the chromatic number. Similarly, a graph is said...

CsegGraph
 Referenced in 7 articles
[sw00170]
 partition Π=Π 1 ) and the number of nonzero entries of A (using mblock ... partition Π=Π m ). The chromatic number of the generated graph instances satisfy...

GirthChromatic
 Referenced in 1 article
[sw29248]
 Probabilistic Proof of the GirthChromatic Number Theorem. This works presents a formalization ... GirthChromatic number theorem in graph theory, stating that graphs with arbitrarily large girth ... chromatic number exist. The proof uses the theory of Random Graphs to prove the existence...

CoCoA
 Referenced in 649 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

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

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

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

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

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

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

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

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

INGRID
 Referenced in 16 articles
[sw01071]
 INGRID, a software system for assisting researchers and...

Graphviz
 Referenced in 89 articles
[sw01283]
 Graphviz is open source graph visualization software. Graph...

GreedyMAX
 Referenced in 5 articles
[sw02058]
 GreedyMAXtype algorithms for the maximum independent set...

TABARIS
 Referenced in 16 articles
[sw02534]
 TABARIS: An exact algorithm based on tabu search...

SCHOL
 Referenced in 13 articles
[sw03230]
 The goal of SCHOL was to enhance the...

CALMA
 Referenced in 105 articles
[sw03235]
 Algorithms for radio link frequency assignment: The CALMA...