Difference between revisions of "Arthur Norman"
GerdIsenberg (talk | contribs) |
GerdIsenberg (talk | contribs) |
||
| Line 44: | Line 44: | ||
<references /> | <references /> | ||
'''[[People|Up one level]]''' | '''[[People|Up one level]]''' | ||
| − | [[Category:Mathematician]] | + | [[Category:Mathematician|Norman]] |
| − | [[Category:Chess Programmer]] | + | [[Category:Chess Programmer|Norman]] |
Revision as of 11:49, 20 October 2019
Arthur Norman [1]
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
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
