Difference between revisions of "Arthur Norman"
GerdIsenberg (talk | contribs) (Created page with "'''Home * People * Arthur Norman''' FILE:Dr_Arthur_Norman.jpg|border|right|thumb|link=https://flickr.com/photos/39023889@N00/2661630518| Arthur Norman <r...") |
GerdIsenberg (talk | contribs) (Tags: Mobile edit, Mobile web edit) |
||
(3 intermediate revisions by the same user not shown) | |||
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>, | ||
Line 34: | Line 34: | ||
* [[Mathematician#DJJeffrey|David J. Jeffrey]], [[Arthur Norman]] ('''2004'''). ''[https://dl.acm.org/citation.cfm?doid=1040034.1040036 Not seeing the roots for the branches: multivalued functions in computer algebra]''. [[ACM#SIGSAM|ACM SIGSAM Bulletin]], Vol. 38, No. 3 | * [[Mathematician#DJJeffrey|David J. Jeffrey]], [[Arthur Norman]] ('''2004'''). ''[https://dl.acm.org/citation.cfm?doid=1040034.1040036 Not seeing the roots for the branches: multivalued functions in computer algebra]''. [[ACM#SIGSAM|ACM SIGSAM Bulletin]], Vol. 38, No. 3 | ||
* [[Arthur Norman]] ('''2005'''). ''Thirty Years of Lisp Support for REDUCE''. [https://dblp.uni-trier.de/db/conf/birthday/Weispfenning2005.html Algorithmic Algebra and Logic 2005] | * [[Arthur Norman]] ('''2005'''). ''Thirty Years of Lisp Support for REDUCE''. [https://dblp.uni-trier.de/db/conf/birthday/Weispfenning2005.html Algorithmic Algebra and Logic 2005] | ||
− | * [[Arthur Norman]], [http://poincare.unisalento.it/vitolo/ Raffaele Vitolo] (''' | + | * [[Arthur Norman]], [http://poincare.unisalento.it/vitolo/ Raffaele Vitolo] ('''20xx'''). ''Inside Reduce''. [https://reduce-algebra.sourceforge.io/lisp-docs/insidereduce.pdf pdf] <ref>Included in the documentation of the REDUCE distribution at [https://en.wikipedia.org/wiki/SourceForge Sourceforge]: [https://reduce-algebra.sourceforge.io/documentation.php REDUCE Documentation]</ref> |
=External Links= | =External Links= | ||
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]] |
Latest revision as of 14:39, 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