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

@inproceedings{Gunawardena1996NewCB, title={New Connections Between Mathematics and Computer Science : Report , Abstracts and Bibliography of a Workshop}, author={Jeremy Gunawardena}, year={1996} }

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…

## One Citation

Towards an applied mathematics for computer science

- Mathematics
- 1996

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…

## References

SHOWING 1-10 OF 69 REFERENCES

On the Work of Steve Smale on the Theory of Computation

- Mathematics
- 1993

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

- Mathematics
- 1989

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

- MathematicsDiscret. Event Dyn. Syst.
- 1994

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

- MathematicsProceedings 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

- PhysicsTAPSOFT
- 1995

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

- MathematicsInf. Comput.
- 1996

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.

Mathematical Morphology: A Modern Approach in Image Processing Based on Algebra and Geometry

- MathematicsSIAM Rev.
- 1995

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

- MathematicsCONCUR
- 1994

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

- PhysicsProceedings 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…