Formele logica ...

Waarheidstabellen

Tableaus

Bewijs-checker

Meer info: http://cage.rug.ac.be/~gvernaev/GveCalc/

Bewijsregels

Maar ook ...

Functieplotter (met dynamische formule-parser)

Grafentheorie

Meer info: http://cage.rug.ac.be/~gvernaev/GveCalc/