Now showing items 26-30 of 179

    • Finiteness conditions of wreath products of semigroups and related properties of diagonal acts 

      Thomson, Michael R. (University of St Andrews, 2001) - Thesis
      The purpose of this thesis is to consider finite generation, finite presentability and related properties of restricted wreath products of semigroups. We show that the wreath product Awr B of two monoids is finitely generated ...
    • Todd-Coxeter methods for inverse monoids 

      Cutting, Andrew (University of St Andrews, 2001) - Thesis
      Let P be the inverse monoid presentation (X|U) for the inverse monoid M, let π be the set of generators for a right congruence on M and let u Є M. Using the work of J. Stephen [15], the current work demonstrates a coset ...
    • Fibonacci length and efficiency in group presentations 

      Campbell, Peter P. (University of St Andrews, 2003) - Thesis
      In this thesis we shall consider two topics that are contained in combinatorial group theory and concern properties of finitely presented groups. The first problem we examine is that of calculating the Fibonacci length of ...
    • Automated theorem proving for mathematics : real analysis in PVS 

      Gottliebsen, Hanne (University of St Andrews, 2002) - Thesis
      Computer Algebra Systems (CASs), such as Maple and Mathematica, are now widely used in both industry and education. In many areas of mathematics they perform well. However, many well-established methods in mathematics, ...
    • Photometry of star clusters 

      Evans, Thomas Harry Hope Lloyd (University of St Andrews, 1968) - Thesis
      The suitability of the Cassegrain Schmidt telescopes at St. Andrews University Observatory for the measurement of stellar magnitudes and colours by in-focus multicolour photography has been examined. A major requirement ...