Pinned Repositories
inp
Sage functions to search for difficult graphs with respect to computing independence number.
conjecturing
Adding conjecturing to Sage
master-bibliography
math1um.github.io
Craig Eric Larson
objects-invariants-properties
Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
math1um's Repositories
math1um/objects-invariants-properties
Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
math1um/conjecturing
Adding conjecturing to Sage
math1um/master-bibliography
math1um/math1um.github.io
Craig Eric Larson