25,161
edits
Changes
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..."
'''[[Main Page|Home]] * [[People]] * Arthur Norman'''
[[FILE:Dr_Arthur_Norman.jpg|border|right|thumb|link=https://flickr.com/photos/39023889@N00/2661630518| Arthur Norman <ref>Photographic portrait of Arthur Norman by [[David Thompson]], May 18, 2008, [https://creativecommons.org/licenses/by-sa/4.0/deed.en CC BY-SA 4.0], [https://flickr.com/photos/39023889@N00/2661630518 Norman | David Thompson | Flickr]</ref> ]]
'''Arthur C. Norman''',<br/>
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>.
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>,
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>,
both for the [[BBC Micro]]. In 1983, along with [[Mathematician#JohnFitch|John P. Fitch]], the Fitch-Norman Partnership was established, which became '''Codemist Ltd''' in 1988 <ref>[http://www.codemist.co.uk/index.html Codemist Ltd home page]</ref>,
developing and trading the [https://en.wikipedia.org/wiki/Norcroft_C_compiler Norcroft compiler suite] targeting [https://en.wikipedia.org/wiki/RISC_OS RISC OS].
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/hd/n/Norman:Arthur_C= dblp: Arthur Norman]</ref>
==1970 ...==
* [[Arthur Norman]] ('''1973'''). ''A System for Solving Initial and Two-Point Boundary Value Problems''. Ph.D. thesis, [https://en.wikipedia.org/wiki/University_of_Cambridge University of Cambridge]
* [[Arthur Norman]] ('''1975'''). ''Computing with Formal Power Series''. [[ACM#TOMS|ACM Transactions on Mathematical Software]], Vol. 1, No. 4
* [[Mathematician#JohnFitch|John P. Fitch]], [[Arthur Norman]] ('''1977'''). ''[https://onlinelibrary.wiley.com/doi/abs/10.1002/spe.4380070606 Implementing LISP in a High-level Language]''. [https://onlinelibrary.wiley.com/journal/1097024x Software: Practice and Experience], Vol. 7, No. 6
* [[Arthur Norman]] ('''1979'''). ''[https://dl.acm.org/citation.cfm?id=1089176.1089179 Testing word-sized numbers for primality]''. [[ACM#SIGSAM|ACM SIGSAM Bulletin]], Vol. 13, No. 4
==1980 ...==
* [[Arthur Norman]] ('''1982'''). ''[https://link.springer.com/chapter/10.1007%2F3-540-11607-9_28 The Development of a Vector-based Algebra System]''. [https://dblp.uni-trier.de/db/conf/eurocal/eurocam1982.html EUROCAM 1982]
* [[Arthur Norman]], Gillian Cattell ('''1983'''). ''[http://www.computinghistory.org.uk/det/9786/LISP-on-the-BBC-Microcomputer/ LISP on the BBC Microcomputer]''. [https://en.wikipedia.org/wiki/Acornsoft Acornsoft] » [[LISP]], [[BBC Micro]]
* [[Arthur Norman]] ('''1988'''). ''[https://dl.acm.org/citation.cfm?id=62716 Faster combinator reduction using stock hardware]''. [https://dblp.uni-trier.de/db/conf/lfp/lfp1988.html LISP and Functional Programming 1988]
==1990 ...==
* [[Arthur Norman]] ('''1990'''). ''[https://dl.acm.org/citation.cfm?id=96926 A Critical-Pair/Completion Based Integration Algorithm]''. [https://dblp.uni-trier.de/db/conf/issac/issac90.html ISSAC 1990]
* [[Arthur Norman]] ('''1993'''). ''[https://dl.acm.org/citation.cfm?id=680613 Compact Delivery Support for REDUCE]''. [https://dblp.uni-trier.de/db/conf/disco/disco1993.html DISCO 1993] <ref>[https://en.wikipedia.org/wiki/Reduce_(computer_algebra_system) Reduce (computer algebra system) from Wikipedia]</ref>
* [[Arthur Norman]], [[Mathematician#JohnFitch|John P. Fitch]] ('''1996'''). ''[https://dl.acm.org/citation.cfm?doid=236869.236916 Memory Tracing of Algebraic Calculations]''. [https://dblp.uni-trier.de/db/conf/issac/issac96.html ISSAC 1996]
* [[Arthur Norman]], [[Mathematician#JohnFitch|John P. Fitch]] ('''1996'''). ''[https://link.springer.com/chapter/10.1007%2F3-540-61697-7_28 Interfacing REDUCE to Java]''. [https://dblp.uni-trier.de/db/conf/disco/disco1996.html DISCO 1996]
* [[Arthur Norman]], [[Mathematician#JohnFitch|John P. Fitch]] ('''1997'''). ''[https://researchportal.bath.ac.uk/en/publications/cabal-polynomial-and-power-series-algebra-on-a-parallel-computer CABAL: polynomial and power series algebra on a parallel computer]''. [https://dblp.uni-trier.de/db/conf/cap/pasco1997.html PASCO 1997]
* [https://dblp.uni-trier.de/pers/hd/m/Matooane:Mantsika Mantŝika Matooane], [[Arthur Norman]] ('''1999'''). ''[https://link.springer.com/chapter/10.1007%2F3-540-48311-X_212 A Parallel Symbolic Computation Environment: Structures and Mechanics]''. [http://dblp.uni-trier.de/db/conf/europar/europar99.html#MatooaneN99 Euro-Par 1999]
==2000 ...==
* [[Arthur Norman]] ('''2000'''). ''[https://dl.acm.org/citation.cfm?doid=345542.345647 Further evaluation of Java for symbolic computation]''. [https://dblp.uni-trier.de/db/conf/issac/issac2000.html ISSAC 2000]
* [[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]], [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=
* [https://en.wikipedia.org/wiki/Arthur_Norman_(computer_scientist) Arthur Norman from Wikipedia]
* [http://arthurnorman.org/ The Official Arthur Norman Fan Club]
* [https://www.genealogy.math.ndsu.nodak.edu/id.php?id=91451 Arthur Norman - The Mathematics Genealogy Project]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Mathematician]]
[[Category:Chess Programmer]]
[[FILE:Dr_Arthur_Norman.jpg|border|right|thumb|link=https://flickr.com/photos/39023889@N00/2661630518| Arthur Norman <ref>Photographic portrait of Arthur Norman by [[David Thompson]], May 18, 2008, [https://creativecommons.org/licenses/by-sa/4.0/deed.en CC BY-SA 4.0], [https://flickr.com/photos/39023889@N00/2661630518 Norman | David Thompson | Flickr]</ref> ]]
'''Arthur C. Norman''',<br/>
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>.
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>,
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>,
both for the [[BBC Micro]]. In 1983, along with [[Mathematician#JohnFitch|John P. Fitch]], the Fitch-Norman Partnership was established, which became '''Codemist Ltd''' in 1988 <ref>[http://www.codemist.co.uk/index.html Codemist Ltd home page]</ref>,
developing and trading the [https://en.wikipedia.org/wiki/Norcroft_C_compiler Norcroft compiler suite] targeting [https://en.wikipedia.org/wiki/RISC_OS RISC OS].
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/hd/n/Norman:Arthur_C= dblp: Arthur Norman]</ref>
==1970 ...==
* [[Arthur Norman]] ('''1973'''). ''A System for Solving Initial and Two-Point Boundary Value Problems''. Ph.D. thesis, [https://en.wikipedia.org/wiki/University_of_Cambridge University of Cambridge]
* [[Arthur Norman]] ('''1975'''). ''Computing with Formal Power Series''. [[ACM#TOMS|ACM Transactions on Mathematical Software]], Vol. 1, No. 4
* [[Mathematician#JohnFitch|John P. Fitch]], [[Arthur Norman]] ('''1977'''). ''[https://onlinelibrary.wiley.com/doi/abs/10.1002/spe.4380070606 Implementing LISP in a High-level Language]''. [https://onlinelibrary.wiley.com/journal/1097024x Software: Practice and Experience], Vol. 7, No. 6
* [[Arthur Norman]] ('''1979'''). ''[https://dl.acm.org/citation.cfm?id=1089176.1089179 Testing word-sized numbers for primality]''. [[ACM#SIGSAM|ACM SIGSAM Bulletin]], Vol. 13, No. 4
==1980 ...==
* [[Arthur Norman]] ('''1982'''). ''[https://link.springer.com/chapter/10.1007%2F3-540-11607-9_28 The Development of a Vector-based Algebra System]''. [https://dblp.uni-trier.de/db/conf/eurocal/eurocam1982.html EUROCAM 1982]
* [[Arthur Norman]], Gillian Cattell ('''1983'''). ''[http://www.computinghistory.org.uk/det/9786/LISP-on-the-BBC-Microcomputer/ LISP on the BBC Microcomputer]''. [https://en.wikipedia.org/wiki/Acornsoft Acornsoft] » [[LISP]], [[BBC Micro]]
* [[Arthur Norman]] ('''1988'''). ''[https://dl.acm.org/citation.cfm?id=62716 Faster combinator reduction using stock hardware]''. [https://dblp.uni-trier.de/db/conf/lfp/lfp1988.html LISP and Functional Programming 1988]
==1990 ...==
* [[Arthur Norman]] ('''1990'''). ''[https://dl.acm.org/citation.cfm?id=96926 A Critical-Pair/Completion Based Integration Algorithm]''. [https://dblp.uni-trier.de/db/conf/issac/issac90.html ISSAC 1990]
* [[Arthur Norman]] ('''1993'''). ''[https://dl.acm.org/citation.cfm?id=680613 Compact Delivery Support for REDUCE]''. [https://dblp.uni-trier.de/db/conf/disco/disco1993.html DISCO 1993] <ref>[https://en.wikipedia.org/wiki/Reduce_(computer_algebra_system) Reduce (computer algebra system) from Wikipedia]</ref>
* [[Arthur Norman]], [[Mathematician#JohnFitch|John P. Fitch]] ('''1996'''). ''[https://dl.acm.org/citation.cfm?doid=236869.236916 Memory Tracing of Algebraic Calculations]''. [https://dblp.uni-trier.de/db/conf/issac/issac96.html ISSAC 1996]
* [[Arthur Norman]], [[Mathematician#JohnFitch|John P. Fitch]] ('''1996'''). ''[https://link.springer.com/chapter/10.1007%2F3-540-61697-7_28 Interfacing REDUCE to Java]''. [https://dblp.uni-trier.de/db/conf/disco/disco1996.html DISCO 1996]
* [[Arthur Norman]], [[Mathematician#JohnFitch|John P. Fitch]] ('''1997'''). ''[https://researchportal.bath.ac.uk/en/publications/cabal-polynomial-and-power-series-algebra-on-a-parallel-computer CABAL: polynomial and power series algebra on a parallel computer]''. [https://dblp.uni-trier.de/db/conf/cap/pasco1997.html PASCO 1997]
* [https://dblp.uni-trier.de/pers/hd/m/Matooane:Mantsika Mantŝika Matooane], [[Arthur Norman]] ('''1999'''). ''[https://link.springer.com/chapter/10.1007%2F3-540-48311-X_212 A Parallel Symbolic Computation Environment: Structures and Mechanics]''. [http://dblp.uni-trier.de/db/conf/europar/europar99.html#MatooaneN99 Euro-Par 1999]
==2000 ...==
* [[Arthur Norman]] ('''2000'''). ''[https://dl.acm.org/citation.cfm?doid=345542.345647 Further evaluation of Java for symbolic computation]''. [https://dblp.uni-trier.de/db/conf/issac/issac2000.html ISSAC 2000]
* [[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]], [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=
* [https://en.wikipedia.org/wiki/Arthur_Norman_(computer_scientist) Arthur Norman from Wikipedia]
* [http://arthurnorman.org/ The Official Arthur Norman Fan Club]
* [https://www.genealogy.math.ndsu.nodak.edu/id.php?id=91451 Arthur Norman - The Mathematics Genealogy Project]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Mathematician]]
[[Category:Chess Programmer]]
