Welkom op de Grinvin pagina's

Grinvin is software voor het bestuderen van grafen en hun eigenschappen (invarianten) alsook de verhouding tussen deze eigenschappen. Bij het ontwikkelen van Grinvin werd veel aandacht besteed aan de gebruikersinterface. Deze werd ontworpen om de gebruiker optimaal te ondersteunen bij het leren van grafentheorie aan de hand van voorbeelden en door het experimenteren met grafen en hun eigenschappen. Dit experimenteren wordt mogelijk gemaakt door gebruik te maken van een grafeneditor voor het tekenen van grafen, verschillende 'fabriekjes' die grafen van een bepaald type creëren en invarianten die berekend kunnen worden voor alle grafen in het systeem.

Aan de hand van de grafen en invarianten die ingevoerd of geselecteerd worden door de gebruiker berekent Grinvin een vermoeden (conjecture) die een verhouding tussen de invarianten voorstelt, bv. 'aantal bogen <= aantal toppen'. De gebruiker (student) zal dan een tegenvoorbeeld voor dit vermoeden trachten te vinden, of bewijzen dat het juist is. Indien een tegenvoorbeeld kan worden gevonden dient het kleinste tegenvoorbeeld ingevoerd te worden in Grinvin en kan een nieuw vermoeden worden afgeleid. In dit voorbeeld is het kleinste tegenvoorbeeld een graaf met 4 toppen en 5 bogen (stel je een vierkant voor met één diagonaal).

Alle terminologie die gebruikt wordt in de software wordt gedocumenteerd in online, contextgevoelige hulppagina's. Deze bevatten zowel informatie over de invarianten als over basisbegrippen uit de grafentheorie. De documentatie (net als de gebruikersinterface) is beschikbaar in verschillende talen (momenteel Nederlands en Engels).

GrInvIn wordt ontwikkeld volgens softwareontwikkelingsprincipes waardoor Grinvin op zowat alle computerplatformen gebruikt kan worden en ook eenvoudig o.a. nieuwe varianten kunnen worden toegevoegd.