Conference Paper/Proceeding/Abstract 637 views 67 downloads
Computing Haar Measures
Leibniz International Proceedings in Informatics, Volume: 152, Issue: 34, Pages: 34:1 - 34:17
Swansea University Author:
Arno Pauly
-
PDF | Version of Record
Released under the terms of a Creative Commons Attribution License (CC-BY).
Download (735.29KB)
DOI (Published version): 10.4230/LIPIcs.CSL.2020.34
Abstract
Computing Haar Measures
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
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>SCS</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>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</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 SCS 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 Computer Science COLLEGE CODE SCS 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:06:35Z |
_version_ |
1763753481266528256 |
score |
11.021648 |