# 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.

# 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

# 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