Published in: LIPIcs, Volume 272, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
Michal Konečný, Sewon Park, and Holger Thies. Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. In 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 272, pp. 59:1-59:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{konecny_et_al:LIPIcs.MFCS.2023.59, author = {Kone\v{c}n\'{y}, Michal and Park, Sewon and Thies, Holger}, title = {{Formalizing Hyperspaces for Extracting Efficient Exact Real Computation}}, booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)}, pages = {59:1--59:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-292-1}, ISSN = {1868-8969}, year = {2023}, volume = {272}, editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.59}, URN = {urn:nbn:de:0030-drops-185935}, doi = {10.4230/LIPIcs.MFCS.2023.59}, annote = {Keywords: Computable analysis, type theory, program extraction} }
Published in: OASIcs, Volume 11, 6th International Conference on Computability and Complexity in Analysis (CCA'09) (2009)
Pieter Collins. Computability of Homology for Compact Absolute Neighbourhood Retracts. In 6th International Conference on Computability and Complexity in Analysis (CCA'09). Open Access Series in Informatics (OASIcs), Volume 11, pp. 107-118, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{collins:OASIcs.CCA.2009.2263, author = {Collins, Pieter}, title = {{Computability of Homology for Compact Absolute Neighbourhood Retracts}}, booktitle = {6th International Conference on Computability and Complexity in Analysis (CCA'09)}, pages = {107--118}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-12-5}, ISSN = {2190-6807}, year = {2009}, volume = {11}, editor = {Bauer, Andrej and Hertling, Peter and Ko, Ker-I}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.CCA.2009.2263}, URN = {urn:nbn:de:0030-drops-22635}, doi = {10.4230/OASIcs.CCA.2009.2263}, annote = {Keywords: Computability, homology, compact absolute neighbourhood retract} }
Feedback for Dagstuhl Publishing