
gCol
 Referenced in 26 articles
[sw41492]
 they perform on graphs where the chromatic number is unknown; and whether they can produce...

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 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

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

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

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

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

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

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

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

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

SageMath
 Referenced in 2047 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 93 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...