Computable Operations on Compact Subsets of Metric Spaces with Applications to Fréchet Distance and Shape Optimization

Chansu Park, Ji-Won Park, Sewon Park +2

We extend the Theory of Computation on real numbers, continuous real functions, and bounded closed Euclidean subsets, to compact metric spaces $(X,d)$: thereby generically includin…