Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
GNU General Public License v3.0
14
stars
6
forks
source link
Docstring: need paper reference for welsh_powell #611
Claim that needs a reference: the welsh_powell bound is an upper bound the chromatic number.
Add this information to the docstring