Computing Haar Measures

From MaRDI portal

Publication:5874222

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2020.34OpenAlexW3004074677MaRDI QIDQ5874222

Arno Pauly, Dongseong Seon, Martin Ziegler

Publication date: 7 February 2023

Full work available at URL: https://arxiv.org/abs/1906.12220

zbMATH Keywords

Haar measure topological groups computable analysis exact real arithmetic

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (2)

Separating notions in effective topology ⋮ COMPUTABLY COMPACT METRIC SPACES

This page was built for publication: Computing Haar Measures

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5874222&oldid=30745862"