No Cover Image

Conference Paper/Proceeding/Abstract 1089 views 133 downloads

Computing Haar Measures

Arno Pauly Orcid Logo, Dongseong Seon, Martin Ziegler

Leibniz International Proceedings in Informatics, Volume: 152, Issue: 34, Pages: 34:1 - 34:17

Swansea University Author: Arno Pauly Orcid Logo

  • 53573.pdf

    PDF | Version of Record

    Released under the terms of a Creative Commons Attribution License (CC-BY).

    Download (735.29KB)

Check full text

DOI (Published version): 10.4230/LIPIcs.CSL.2020.34

Published in: Leibniz International Proceedings in Informatics
ISBN: 978-3-95977-132-0
ISSN: 1868-8969
Published: Dagstuhl, Germany 2020
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa53573
first_indexed 2020-02-20T19:59:27Z
last_indexed 2020-10-10T03:07:42Z
id cronfa53573
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2020-10-09T19:54:42.5784196</datestamp><bib-version>v2</bib-version><id>53573</id><entry>2020-02-18</entry><title>Computing Haar Measures</title><swanseaauthors><author><sid>17a56a78ec04e7fc47b7fe18394d7245</sid><ORCID>0000-0002-0173-3295</ORCID><firstname>Arno</firstname><surname>Pauly</surname><name>Arno Pauly</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2020-02-18</date><deptcode>MACS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>Leibniz International Proceedings in Informatics</journal><volume>152</volume><journalNumber>34</journalNumber><paginationStart>34:1</paginationStart><paginationEnd>34:17</paginationEnd><publisher/><placeOfPublication>Dagstuhl, Germany</placeOfPublication><isbnElectronic>978-3-95977-132-0</isbnElectronic><issnElectronic>1868-8969</issnElectronic><keywords>Computable analysis, topological groups, exact real arithmetic, Haar measure</keywords><publishedDay>1</publishedDay><publishedMonth>1</publishedMonth><publishedYear>2020</publishedYear><publishedDate>2020-01-01</publishedDate><doi>10.4230/LIPIcs.CSL.2020.34</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2020-10-09T19:54:42.5784196</lastEdited><Created>2020-02-18T15:18:44.6454266</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Arno</firstname><surname>Pauly</surname><orcid>0000-0002-0173-3295</orcid><order>1</order></author><author><firstname>Dongseong</firstname><surname>Seon</surname><order>2</order></author><author><firstname>Martin</firstname><surname>Ziegler</surname><order>3</order></author></authors><documents><document><filename>53573__16608__61478ed0fc1a4567ae1982554db1f982.pdf</filename><originalFilename>53573.pdf</originalFilename><uploaded>2020-02-18T15:24:02.0210969</uploaded><type>Output</type><contentLength>752936</contentLength><contentType>application/pdf</contentType><version>Version of Record</version><cronfaStatus>true</cronfaStatus><documentNotes>Released under the terms of a Creative Commons Attribution License (CC-BY).</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language><licence>https://creativecommons.org/licenses/by/4.0/</licence></document></documents><OutputDurs/></rfc1807>
spelling 2020-10-09T19:54:42.5784196 v2 53573 2020-02-18 Computing Haar Measures 17a56a78ec04e7fc47b7fe18394d7245 0000-0002-0173-3295 Arno Pauly Arno Pauly true false 2020-02-18 MACS Conference Paper/Proceeding/Abstract Leibniz International Proceedings in Informatics 152 34 34:1 34:17 Dagstuhl, Germany 978-3-95977-132-0 1868-8969 Computable analysis, topological groups, exact real arithmetic, Haar measure 1 1 2020 2020-01-01 10.4230/LIPIcs.CSL.2020.34 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2020-10-09T19:54:42.5784196 2020-02-18T15:18:44.6454266 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Arno Pauly 0000-0002-0173-3295 1 Dongseong Seon 2 Martin Ziegler 3 53573__16608__61478ed0fc1a4567ae1982554db1f982.pdf 53573.pdf 2020-02-18T15:24:02.0210969 Output 752936 application/pdf Version of Record true Released under the terms of a Creative Commons Attribution License (CC-BY). true eng https://creativecommons.org/licenses/by/4.0/
title Computing Haar Measures
spellingShingle Computing Haar Measures
Arno Pauly
title_short Computing Haar Measures
title_full Computing Haar Measures
title_fullStr Computing Haar Measures
title_full_unstemmed Computing Haar Measures
title_sort Computing Haar Measures
author_id_str_mv 17a56a78ec04e7fc47b7fe18394d7245
author_id_fullname_str_mv 17a56a78ec04e7fc47b7fe18394d7245_***_Arno Pauly
author Arno Pauly
author2 Arno Pauly
Dongseong Seon
Martin Ziegler
format Conference Paper/Proceeding/Abstract
container_title Leibniz International Proceedings in Informatics
container_volume 152
container_issue 34
container_start_page 34:1
publishDate 2020
institution Swansea University
isbn 978-3-95977-132-0
issn 1868-8969
doi_str_mv 10.4230/LIPIcs.CSL.2020.34
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 1
active_str 0
published_date 2020-01-01T04:46:26Z
_version_ 1851095239031259136
score 11.444473

Similar Items