| EPSRC Reference: |
GR/M86194/01 |
| Title: |
THE USE OF NORMAL FORMS FOR SOLVING THE WORD PROBLEM |
| 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 June 2000 |
Ends: |
31 May 2003 |
Value (£): |
146,994
|
| EPSRC Research Topic Classifications: |
| Algebra & Geometry |
Fundamentals of Computing |
|
| EPSRC Industrial Sector Classifications: |
| Information Technologies |
No relevance to Underpinning Sectors |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
We propose to carry out theoretical and practical research in the computational aspects of finitely presented groups. (particularly combable groups, automatic groups, and word-hyerbolic groups), and in the associated formal language theory.This work involves the development, implementation and, where possible, the complexity analysis of mathamatical algorithms. Some specific examples are mentioned in the objectives section. The software that we write will be available as standalone code, but will also be implemented in and made available form the GAP, magma and Magnus computation algebra systems.The theoretical side of the proposal involves studying combings of groups. We shall by analysing the complexity and formal language class of known combings, such as those of Gromov mentioned above. At the same time, we shall be trying to find new combings for more general classes of groups, such as non-nilpotent soluble groups. In addition we shall be studying the formal language class of the word problem of further classes of groups, which will involve considering language classes higher up the Chomsky hierarchy (such as context sensitive languages) than have been studied in this context to date.
|
|
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 |