2 papers
cs.LO2019
Computing Haar Measures
Arno Pauly, Dongseong Seon, Martin Ziegler
According to Haar's Theorem, every compact group admits a unique (regular, right and) left-invariant Borel probability measure . Let the Haar integral (of ) denote the…
cs.LO2017
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 : thereby generically includin…