Fritz Kliemann

I worked from December, 2017 until June, 2018 on the Institute of Algebra and created the GAP package Predicata as a master thesis.

This work was supervised by Erhard Aichinger and partially supported by the Austrian Science Fund (FWF), P29931.

GAP Package

Website: Predicata

Teaser for the package Predicata

small teaser
Image created with the GAP package automata.