| EPSRC Reference: |
GR/K80150/01 |
| Title: |
GROUPS, AUTOMATA AND SEMIGROUPS PROJECT |
| Principal Investigator: |
Rees, Professor SE |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Mathematics and Statistics |
| Organisation: |
Newcastle University |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 January 1996 |
Ends: |
31 December 1998 |
Value (£): |
14,590
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
For the past eight years, we have been producing efficient portable software for group-theoretical problems which are theoretically unsolvable, but are solvable in some important specific situations. These include deciding finiteness and the word, conjugacy and isomorphism problems. Much of this software involves finite state automata and rewriting systems. Related work is being carried out by scientists in the USA, France and Germany. We plan to cooperate in the development of software and the underlying mathematical theory. We will hold regular meetings, once a year at the Geometry Center in Minneapolis, and once a year at Warwick. We also plan to cooperate with the authors of the group-theory packages, GAP (Aachen, Germany) and MAGMA (Sydney, Australia), to incorporate our software into these systems, thereby making it available to a much wider range of users.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.ncl.ac.uk |