NetNews Usenet Archive 1992 #27/NN_1992_27.iso/spool/sci/math/15243

Internet Message Format | 1992-11-19 | 1.8 KB

Path: sparky!uunet!mcsun!uknet!glasgow!jack
From: [e-mail] (Jack Campin)
Newsgroups: sci.math
Subject: Re: Topology and CS?
Message-ID: <[e-mail]>
Date: 19 Nov 92 17:46:35 GMT
References: <[e-mail]>
Reply-To: [e-mail] (Jack Campin)
Organization: COMANDOS Project, Glesga Yoonie
Lines: 25

[e-mail] (Nathan Tenny) wrote:
> I'm given to understand that both point-set and low-dimensional topology
> are of some interest in computer science....
> The problem: I have a nodding acquaintance with CS, but not enough to read
> papers in it.  The literature I've found on topology and CS seems to be
> written from the CS end.
> Could anyone give me a couple of suggestions about where to start reading, or
> possibly even a quick braindump on the subject?

One application area that is described, so far, in a fairly mathematical
way is the use of locales in concurrency theory - try Vickers' "Topology
via Logic" (Cambridge Univ Press) for starters.  Another place to look is a
paper by Hopcroft in the Journal of the ACM a few years ago, on the
mathematics CS now needs, that describes applications of algebraic topology
to robot motion planning (this is way removed from anything I have detailed
knowledge of, so maybe someone has better references).  A classical
application, now rather inactive as a research field, is Scott's use of T0
spaces in domain theory (try the Scott et al book "A Compendium of
Continuous Lattices").

--
--  Jack Campin    room G092, Computing Science Department, Glasgow University,
17 Lilybank Gardens, Glasgow G12 8RZ, Scotland   TEL: [phone] x6854 (work)
INTERNET: [e-mail] or via nsfnet-relay.ac.uk    FAX: [phone]
BANG!net: via mcsun and uknet     BITNET: via UKACRL    UUCP: [e-mail]