Use this URL to cite or link to this record in EThOS:
Title: Computational techniques applied to group presentations
Author: Rutherford, Kevin
ISNI:       0000 0001 3542 3829
Awarding Body: University of St Andrews
Current Institution: University of St Andrews
Date of Award: 1989
Availability of Full Text:
Access from EThOS:
Access from Institution:
Designs for a collection of re-usable software modules are developed. The modules are implemented in C and expressed in a tool-kit for the Unix operating system. Each tool is an expert in some aspect of the manipulation by computer of group presentations. The granularity of the tool-kit has been chosen so that common usages of the Todd-Coxeter and Reidemeister-Schreier methods can be expressed in various ways using any tool composition language (eg. shell scripts), and running as a collection of co-operating processes. Data file formats for the interchange of group-theoretic information between processes are described. The tools are tested on well-known examples, and are used to prove a long-standing conjecture. Use of the tools as the basis for a rule-based "expert system" is discussed.
Supervisor: Robertson, E. F. Sponsor: Science and Engineering Research Council
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: QA76.7C15R9 ; Programming languages (electronic computers)