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/
GNU General Public License v3.0
15 stars 6 forks source link

Create an installable (pip?) module for gt #548

Open yirkajk opened 6 years ago

yirkajk commented 6 years ago

Our goals include making the project easy to install, easy to update, and easy to use. For ease of use, having our own namespace would be helpful.

nvcleemp commented 6 years ago

Some examples:

nvcleemp commented 6 years ago

Just collecting some more information.

For the database we might have to do something along these lines: