Files in this item
Computational techniques applied to group presentations
Item metadata
dc.contributor.advisor | Robertson, E. F. | |
dc.contributor.author | Rutherford, Kevin | |
dc.coverage.spatial | 263 p. | en_US |
dc.date.accessioned | 2018-05-21T15:44:36Z | |
dc.date.available | 2018-05-21T15:44:36Z | |
dc.date.issued | 1989 | |
dc.identifier.uri | https://hdl.handle.net/10023/13432 | |
dc.description.abstract | 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. | en_US |
dc.language.iso | en | en_US |
dc.publisher | University of St Andrews | |
dc.subject.lcc | QA76.7C15R9 | |
dc.subject.lcsh | Programming languages (electronic computers). | en |
dc.title | Computational techniques applied to group presentations | en_US |
dc.type | Thesis | en_US |
dc.contributor.sponsor | Science and Engineering Research Council (SERC) | en_US |
dc.type.qualificationlevel | Doctoral | en_US |
dc.type.qualificationname | PhD Doctor of Philosophy | en_US |
dc.publisher.institution | The University of St Andrews | en_US |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.