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
15
stars
6
forks
source link
Do we have a list of "parameterized properties"? #649
In issue #641 , asked if there is a list of parameterized properties. Could not find it so maybe it has a different name? Should one be added?