License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.04351.2
URN: urn:nbn:de:0030-drops-1710
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2005/171/
Go to the corresponding Portal


Kopperman, Ralph ; Panangaden, Prakash ; Smyth, Michael B. ; Spreen, Dieter ; Webster, Julian

04351 Summary -- Spatial Representation: Discrete vs. Continuous Computational Models

pdf-format:
04351_summary.pdf (0.1 MB)


Abstract

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.

BibTeX - Entry

@InProceedings{kopperman_et_al:DagSemProc.04351.2,
  author =	{Kopperman, Ralph and Panangaden, Prakash and Smyth, Michael B. and Spreen, Dieter and Webster, Julian},
  title =	{{04351 Summary – Spatial Representation: Discrete vs. Continuous Computational Models}},
  booktitle =	{Spatial Representation: Discrete vs. Continuous Computational Models},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4351},
  editor =	{Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2005/171},
  URN =		{urn:nbn:de:0030-drops-1710},
  doi =		{10.4230/DagSemProc.04351.2},
  annote =	{Keywords: 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}
}

Keywords: Domain theory , formal topology , constructive topology , domain representation , space-time , quantum gravity , inverse limit construction , matroid
Freie Schlagwörter (deutsch): geometry , descriptive set theory , Borel hierarchy , Hausdorff difference hierarchy , Wadge degree , partial metric , fractafold , region geometry
Collection: 04351 - Spatial Representation: Discrete vs. Continuous Computational Models
Issue Date: 2005
Date of publication: 19.04.2005


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI