Computable Operations on Compact Subsets of Metric Spaces with Applications to Fréchet Distance and Shape Optimization. - Chansu Park; Ji-won Park; Sewon Park 001; Dongseong Seon; Martin Ziegler 001 (CoRR, 2017)

Computing Haar Measures. - Arno Pauly; Dongseong Seon; Martin Ziegler 001 (CSL, 2020)