Research output per year
Research output per year
KY16 9SS
United Kingdom
algorithm design; algorithm implementation; computational group; computing; coset enumeration; finite simple group; group presentation; group theory; permutation; semigroup; monoid; history of mathematics
My early research interests were in infinite group theory, particularly in the study of groups of infinite matrices. I then worked on applications of computing to group theory and more recently I have made major contributions to semigroup theory. I have used existing implementations of group theory algorithms to study groups. In particular, I have studied presentations of groups either starting from a given group and finding a presentation with certain properties or starting with a particular presentation and attempting to determine the structure of the group. I have written various computer programs to solve specific group theoretic problems, with earlier work based on FORTRAN but recent work using the GAP system (Groups, Algorithms, Programming). For example, I have been involved in the design and implementation of algorithms for finding presentations of subgroups of finitely presented groups. I have written a Reidemeister-Schreier program and I have collaborated with colleagues at the AustralianNational University (ANU) in the development of a Tietze transformation program. I have also discovered and implemented an algorithm for determining presentation of subgroups which is more general than the Reidemeister-Schreier and the modified Todd-boxeter coset enumeration algorithm. Versions of these algorithms are now implemented within GAP. My most recent work includes the design and implemetation of algorithms to enumerate semigroups and theoretical work on fiinitely presented monoids and on automatic monoids.
See the the algebra group website for more infomation.
With John O'Connor, I am one of the two developers of the award winning Mathematical MacTutor software.
I am one of the maintainers of the MacTutor History of the MacTutor History of Mathematics Archive on the World Wide Web. I have written most of the biographies and articles on the history of mathematics on that site. This has won many awards for its breadth of cover and innovation.
mathematical consultancy;building computer packages; designing web sites
Research output: Book/Report › Book
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Book/Report › Book
Research output: Contribution to journal › Article
Research output: Contribution to journal › Article › peer-review
Talbot, G. (Creator), Shand, I. R. (Creator), Falconer, I. J. (Creator), Robertson, E. F. (Creator) & O'Connor, J. J. (Creator), University of St Andrews, 2018
http://www-history.mcs.st-andrews.ac.uk/index.html
Dataset
Ruskuc, N. (PI), Linton, S. A. (CoI) & Robertson, E. F. (CoI)
1/02/04 → 31/01/07
Project: Standard
Robertson, E. F. (Invited speaker)
Activity: Talk or presentation types › Invited talk
Robertson, E. F. (Invited speaker)
Activity: Talk or presentation types › Invited talk
Robertson, E. F. (Editor)
Activity: Publication peer-review and editorial work types › Editor of research journal
Robertson, E. F. (Invited speaker)
Activity: Talk or presentation types › Invited talk
Robertson, E. F. (Invited speaker)
Activity: Talk or presentation types › Invited talk
Robertson, E. F. (Recipient), 2000
Prize: Appointment
Robertson, E. F. (Recipient), 2002
Prize: Prize (including medals and awards)
Robertson, E. F. (Recipient), 1994
Prize: Prize (including medals and awards)
Robertson, E. F. (Recipient), 1997
Prize: Election to learned society
Robertson, E. F. (Participant), O'Connor, J. J. (Participant), Falconer, I. J. (Participant), (Participant) & Roney-Dougal, C. (Participant)
Impact: Public Discourse Impact, Educational Impact (Beyond St Andrews), Practitioner Impact, Cultural, Creative Impact
Linton, S. A. (Participant), , N. (Participant), Mitchell, J. D. (Participant) & Robertson, E. F. (Participant)
Impact