Now showing items 106-110 of 421

    • 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, ...
    • Commutativity and free products in Thompson's group V 

      Bieniecka, Ewa (University of St Andrews, 2018-06-26) - Thesis
      We broaden the theory of dynamical interpretation, investigate the property of commutativity and explore the subject of subgroups forming free products in Thompson's group V. We expand Brin's terminology for a revealing ...
    • The dynamic topology of the solar corona : mapping the Sun’s three dimensional magnetic skeleton 

      Williams, Benjamin Matthew (University of St Andrews, 2018-06-26) - Thesis
      Observations of the surface of the Sun reveal multi-scaled, mixed magnetic features that carpet the entire solar surface. Not surprisingly, the global magnetic fields extrapolated from these observations are highly ...
    • Modelling chromospheric evaporation in response to coronal heating 

      Johnston, Craig David (University of St Andrews, 2018-06-26) - Thesis
      This thesis presents a new computationally efficient method for modelling the response of the solar corona to the release of energy. During impulsive heating events, the coronal temperature increases which leads to a ...
    • 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 ...