2026-07-28T19:12:40Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:171 2024-03-06T11:05:50Z ddc:004 open_access

04351 Summary – Spatial Representation: Discrete vs. Continuous Computational Models Kopperman, Ralph Panangaden, Prakash Smyth, Michael B. Spreen, Dieter Webster, Julian Domain theory formal topology constructive topology domain representation space-time quantum gravity inverse limit construction matroid geometry descriptive set theory Borel hierarchy Hausdorff difference hierarchy Wadge degree partial metric fractafold region geometry Topological notions and methods are used in various areas of the physical sciences and engineering, and therefore computer processing of topological data is important. Separate from this, but closely related, are computer science uses of topology: applications to programming language semantics and computing with exact real numbers are important examples. The seminar concentrated on an important approach, which is basic to all these applications, i.e. spatial representation. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen and Julian Webster 2005 Is Part Of Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.04351.2 urn:nbn:de:0030-drops-1710 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.2 eng https://creativecommons.org/licenses/by/4.0/legalcode