Go to the corresponding LIPIcs Volume Portal 
Pauly, Arno ; Seon, Dongseong ; Ziegler, Martin
pdfformat: 

@InProceedings{pauly_et_al:LIPIcs:2020:11677, author = {Arno Pauly and Dongseong Seon and Martin Ziegler}, title = {{Computing Haar Measures}}, booktitle = {28th EACSL Annual Conference on Computer Science Logic (CSL 2020)}, pages = {34:134:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771320}, ISSN = {18688969}, year = {2020}, volume = {152}, editor = {Maribel Fern{\'a}ndez and Anca Muscholl}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2020/11677}, URN = {urn:nbn:de:0030drops116779}, doi = {10.4230/LIPIcs.CSL.2020.34}, annote = {Keywords: Computable analysis, topological groups, exact real arithmetic, Haar measure} }
Keywords:  Computable analysis, topological groups, exact real arithmetic, Haar measure  
Collection:  28th EACSL Annual Conference on Computer Science Logic (CSL 2020)  
Issue Date:  2020  
Date of publication:  06.01.2020  
Supplementary Material:  The source code of the implementation in Section 6.1 is available at http://github.com/realcomputation/irramplus/tree/master/HAAR 