Ujkan Sulejmani

The Hales–Jewett Theorem

by Ujkan Sulejmani, Manuel Eberl and Katharina Kreuzer

Verified Approximation Algorithms

by Robin Eßmann, Tobias Nipkow, Simon Robillard and Ujkan Sulejmani