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)