Project: GRINCH: interactive framework for the generation of graph-theoretical conjectures and the study of graph invariants
- project duration
- 01-JAN-05 – 31-DEC-09
- A software framework is designed and implemented for automated graph conjecturing and study of graph invariants. Such software is useful in mathematical and computer scientific research in graph theory, but also in chemistry, where graph invariants are used as a tool in screening large databases of molecules. Moreover such software is usefull in teaching graph theory.