Arthur Norman

Home * People * 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. 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 , and, along with Nick Pelling (Orlando), he contributed to the chess program Acornsoft Chess , both for the BBC Micro. In 1983, along with John P. Fitch, the Fitch-Norman Partnership was established, which became Codemist Ltd in 1988 , developing and trading the Norcroft compiler suite targeting RISC OS.

=Selected Publications=

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

=External Links=
 * Arthur Norman from Wikipedia
 * The Official Arthur Norman Fan Club
 * Arthur Norman - The Mathematics Genealogy Project

=References= Up one level