DIAMANT | Discrete, Interactive and Algorithmic Mathematics, Algebra and Number Theory