# Arthur Norman

**Arthur C. Norman**,

a British mathematician, computer scientist, and Fellow of Trinity College, Cambridge,
where he has previously been a director of studies for computer science ^{[2]}.
His research interests include functional programming, symbolic computation, computer algebra systems and programming languages.
In the 80s, while also affiliated with Acornsoft, he was involved in developing the Acornsoft LISP interpreter ^{[3]},
and, along with Nick Pelling (Orlando), he contributed to the chess program Acornsoft Chess ^{[4]},
both for the BBC Micro. In 1983, along with John P. Fitch, the Fitch-Norman Partnership was established, which became **Codemist Ltd** in 1988 ^{[5]},
developing and trading the Norcroft compiler suite targeting RISC OS.

## Contents

# Selected Publications

^{[6]}

## 1970 ...

- Arthur Norman (
**1973**).*A System for Solving Initial and Two-Point Boundary Value Problems*. Ph.D. thesis, University of Cambridge - Arthur Norman (
**1975**).*Computing with Formal Power Series*. ACM Transactions on Mathematical Software, Vol. 1, No. 4 - John P. Fitch, Arthur Norman (
**1977**).*Implementing LISP in a High-level Language*. Software: Practice and Experience, Vol. 7, No. 6 - Arthur Norman (
**1979**).*Testing word-sized numbers for primality*. ACM SIGSAM Bulletin, Vol. 13, No. 4

## 1980 ...

- Arthur Norman (
**1982**).*The Development of a Vector-based Algebra System*. EUROCAM 1982 - Arthur Norman, Gillian Cattell (
**1983**).*LISP on the BBC Microcomputer*. Acornsoft » LISP, BBC Micro - Arthur Norman (
**1988**).*Faster combinator reduction using stock hardware*. LISP and Functional Programming 1988

## 1990 ...

- Arthur Norman (
**1990**).*A Critical-Pair/Completion Based Integration Algorithm*. ISSAC 1990 - Arthur Norman (
**1993**).*Compact Delivery Support for REDUCE*. DISCO 1993^{[7]} - Arthur Norman, John P. Fitch (
**1996**).*Memory Tracing of Algebraic Calculations*. ISSAC 1996 - Arthur Norman, John P. Fitch (
**1996**).*Interfacing REDUCE to Java*. DISCO 1996 - Arthur Norman, John P. Fitch (
**1997**).*CABAL: polynomial and power series algebra on a parallel computer*. PASCO 1997 - Mantŝika Matooane, Arthur Norman (
**1999**).*A Parallel Symbolic Computation Environment: Structures and Mechanics*. Euro-Par 1999

## 2000 ...

- Arthur Norman (
**2000**).*Further evaluation of Java for symbolic computation*. ISSAC 2000 - David J. Jeffrey, Arthur Norman (
**2004**).*Not seeing the roots for the branches: multivalued functions in computer algebra*. ACM SIGSAM Bulletin, Vol. 38, No. 3 - Arthur Norman (
**2005**).*Thirty Years of Lisp Support for REDUCE*. Algorithmic Algebra and Logic 2005 - Arthur Norman, Raffaele Vitolo (
**20xx**).*Inside Reduce*. pdf^{[8]}

# External Links

- Arthur Norman from Wikipedia
- The Official Arthur Norman Fan Club
- Arthur Norman - The Mathematics Genealogy Project

# References

- ↑ Photographic portrait of Arthur Norman by David Thompson, May 18, 2008, CC BY-SA 4.0, Norman | David Thompson | Flickr
- ↑ Computer Laboratory: 2008-03-12: Arthur Norman’s last lecture
- ↑ ARX, Arthur and RISC OS by Paul Fellows, RISC OS User Group Of London, October 15, 2012
- ↑ Chess (V2.1) - Complete BBC Games Archive
- ↑ Codemist Ltd home page
- ↑ dblp: Arthur Norman
- ↑ Reduce (computer algebra system) from Wikipedia
- ↑ Included in the documentation of the REDUCE distribution at Sourceforge: REDUCE Documentation