Difference between revisions of "Arthur Norman"
GerdIsenberg (talk | contribs) |
GerdIsenberg (talk | contribs) |
||
Line 6: | Line 6: | ||
a British mathematician, computer scientist, and Fellow of [https://en.wikipedia.org/wiki/Trinity_College,_Cambridge Trinity College, Cambridge], | a British mathematician, computer scientist, and Fellow of [https://en.wikipedia.org/wiki/Trinity_College,_Cambridge Trinity College, Cambridge], | ||
where he has previously been a director of studies for computer science <ref>[https://www.cl.cam.ac.uk/misc/news/2008/03-12-acn.html Computer Laboratory: 2008-03-12: Arthur Norman’s last lecture]</ref>. | where he has previously been a director of studies for computer science <ref>[https://www.cl.cam.ac.uk/misc/news/2008/03-12-acn.html Computer Laboratory: 2008-03-12: Arthur Norman’s last lecture]</ref>. | ||
− | His research interests include [https://en.wikipedia.org/wiki/Functional_programming functional programming], [https://en.wikipedia.org/wiki/Symbolic_computation | + | His research interests include [https://en.wikipedia.org/wiki/Functional_programming functional programming], [https://en.wikipedia.org/wiki/Symbolic_computation symbolic computation], [https://en.wikipedia.org/wiki/Computer_algebra_system computer algebra systems]] and [[Languages|programming languages]]. |
In the 80s, while also affiliated with [https://en.wikipedia.org/wiki/Acornsoft Acornsoft], he was involved in developing the [https://en.wikipedia.org/wiki/Acornsoft_LISP Acornsoft] [[LISP]] interpreter <ref>[http://rougol.jellybaby.net/meetings/2012/PaulFellows/index.html ARX, Arthur and RISC OS] by [http://rougol.jellybaby.net/meetings/2012/oct.html Paul Fellows], [http://www.rougol.jellybaby.net/ RISC OS User Group Of London], October 15, 2012</ref>, | In the 80s, while also affiliated with [https://en.wikipedia.org/wiki/Acornsoft Acornsoft], he was involved in developing the [https://en.wikipedia.org/wiki/Acornsoft_LISP Acornsoft] [[LISP]] interpreter <ref>[http://rougol.jellybaby.net/meetings/2012/PaulFellows/index.html ARX, Arthur and RISC OS] by [http://rougol.jellybaby.net/meetings/2012/oct.html Paul Fellows], [http://www.rougol.jellybaby.net/ RISC OS User Group Of London], October 15, 2012</ref>, | ||
and, along with [[Nick Pelling]] (Orlando), he contributed to the chess program [[Acornsoft Chess]] <ref>[http://bbcmicro.co.uk/game.php?id=924 Chess (V2.1) - Complete BBC Games Archive]</ref>, | and, along with [[Nick Pelling]] (Orlando), he contributed to the chess program [[Acornsoft Chess]] <ref>[http://bbcmicro.co.uk/game.php?id=924 Chess (V2.1) - Complete BBC Games Archive]</ref>, |
Revision as of 12:49, 20 October 2019
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