• Corpus ID: 1382805

New Connections Between Mathematics and Computer Science : Report , Abstracts and Bibliography of a Workshop

  title={New Connections Between Mathematics and Computer Science : Report , Abstracts and Bibliography of a Workshop},
  author={Jeremy Gunawardena},
A workshop on "New Connections between Mathematics and Computer Science" was held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, England from 20-24 November 1995. The workshop was supported by the Engineering and Physical Science Research Council of the United Kingdom, the London Mathematical Society and Hewlett-Packard's Basic Research Institute in the Mathematical Sciences. This document contains a report on the workshop, the abstracts of the talks and the accompanying… 
1 Citations
Towards an applied mathematics for computer science
If you go up to a conventional engineer—someone who designs bridges or aeroplanes or concert halls or communication systems—and ask her what mathematical theorems she uses as part of the design


On the Work of Steve Smale on the Theory of Computation
The theory of computation is the newest and longest segment of Steve Smale’s mathematical career. It is still evolving and, thus, it is difficult to evaluate and isolate the more important of Smale’s
On a theory of computation and complexity over the real numbers: $NP$- completeness, recursive functions and universal machines
We present a model for computation over the reals or an arbitrary (ordered) ring R. In this general setting, we obtain universal machines, partial recursive functions, as well as JVP-complete
Min-max functions
The paper introduces min-max functions,F:Rn→Rn, which are constructed using finitely many operations of min, max and +, and study them as dynamical systems and gives a formula for the cycle time (eigenvalue) of a min- max function which generalizes the maximum cycle mean formula.
The Stone gamut: a coordinatization of mathematics
  • V. Pratt
  • Mathematics
    Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science
  • 1995
The key is the identification of continuous functions and homomorphisms, which puts Stone Pontrjagin duality on a uniform basis by merging algebra and topology into a simple common framework.
Rational Mechanisms and Natural Mathematics
As natural mathematics Chu spaces borrow ideas from the natural sciences, particularly physics, while as rational mechanics they cast Hamiltonian mechanics in terms of the interaction of body and mind.
Power Domains and Iterated Function Systems
The notion of weakly hyperbolic iterated function system (IFS) on a compact metric space, which generalises that ofhyperbolic IFS, is introduced and the existence and uniqueness of the attractor and invariant measure are proved.
Domain Theory and Integration
Mathematical Morphology: A Modern Approach in Image Processing Based on Algebra and Geometry
The main goal of this paper is to give an impression of the underlying philosophy and the mathematical theories which are relevant to this field.
A Dynamic Approach to Timed Behaviour
The theory of min-max functions, [6, 11, 15], is described, which permits a dynamic approach to the time behaviour of a restricted class of reactive systems and a proof of the Duality Conjecture for min- max functions of dimension 2.
Space and time in computation, topology and discrete physics
  • L. Kauffman
  • Physics
    Proceedings Workshop on Physics and Computation. PhysComp '94
  • 1994
A step can be regarded as an elementary ordering of two objects (or operators). A step is a distinction combined with an action that crosses the boundary of that distinction. The elementary step can