Part 1 An introduction to the mathematical revolution inspired by computing: an introduction to the mathematical revolution inspired by computing, Jeffrey Johnson. Part 2 Computers in mathematics: cryptography - the catalyst, Fred Piper; the return of the visual, R.V.Evans; the mathematics of chaos, D.K.Arrowsmith; computing the unpredictable - deterministic chaos and the nervous system, Arun V.Holden; word processing algorithms, rewrite rules and group theory, D.B.A.Epstein; computer assisted proof for mathematics - an introduction using the LEGO proof system, Rod Burstall; a new method of automated theorem proving, YANG Lu; making discrete mathematics executable on a computer, R.D.Knott; the wider uses of the Z specification language in mathematical modelling, Allan Norcliffe; scene analysis via Galois lattices, M.Andrew, D.Base, et al; the mathematics of complex systems, Jeffrey Johnson. Part 3 Mathematics in computing: the mathematics of complex computational systems, Stephen B.Seidman; a Euclidean basis for computation, Dan Simpson; an extension of turing machines, Claudio Sossai; algorithmic languages and the computability of functions, Newcomb Greenleaf; the parallel computation hypothesis and its applications to computer science, V.J.Rayward-Smith; the mathematics of complexity in computing and software engineering, N.E.Fenton; the mathematics and computer science, Meurig Beynon and Steve Russ; the end of the defensive era of mathematics, M C.Ormell; revolution, evolution or renaissance? D.J.Cooke; the superfluous paradigm, Daniel I.A.Cohen.
