Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
The definitions are formally different but look mathematically the same. It should be tested that indeed they are the same (at least for the graphs in GT). Then one occurrence should be deleted.
Defined both at line 505 and 1089.
The definitions are formally different but look mathematically the same. It should be tested that indeed they are the same (at least for the graphs in GT). Then one occurrence should be deleted.