GrInvIn for graph theory teaching and research.
Adriaan Peeters, Kris Coolsaet, Gunnar Brinkmann, Nico Van Cleemput, Veerle Fack · 2007
Various programs to support research in graph theory have been developed and successfully used, such as AGX/AGX2[1], Cabri-graph[2], Graffiti[3], Graf-fiti.pc[4], GRAPH[5], GraPHedron[6], LINK[7], and newGRAPH[8]. Some of them emphasize the manipulation of graphs and computation of invariants, others focus on (graph) conjecturing. As to the goal of GrInvIn we were most influenced by Graffiti.pc which was developed by Ermelinda DeLaVina. It was created for research in graph theory as well as for teaching graph theory by means of graph conjecturing. The GrInvIn framework provides the core functionality needed to implement an application for graph theory in general. It includes basic functionality to work with graphs, invariants, and conjectures. In addition to data structures and interfaces for these concepts, the framework also provides a basic graph editor, various invariant computing routines, and an intuitive graphical user interface. GrInvIn is still being developed and soon further functionality (such as graph generation programs) will be added. In order to guarantee portability, the interface and most of the subroutines are written in the highly portable programming language Java. Some parts that are performance critical and interact less with the operating system are written in C.