Now showing items 11-15 of 161

    • 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 ...
    • Solar intense magnetic fields 

      Webb, Andrew Robert (University of St Andrews, 1980) - Thesis
      The nature of motions in intense magnetic fields is investigated. For a flux tube in a uniform atmosphere a dispersion relation is derived for the modes of vibration and analytic approximations are obtained for a slender ...
    • Nonlinear stability of flows over rigid and flexible boundaries 

      Thomas, Michael D (University of St Andrews, 1990) - Thesis
      This work assesses the importance of nonlinearity in the stability of flows over compliant and rigid walls, and comprises three main parts. The first part considers inviscid flow with a free surface over a flexible boundary. ...
    • Time dependent heating of the solar corona 

      Walsh, Robert William (University of St Andrews, 1996) - Thesis
      The problem of how the Sun's corona is heated is of central importance in Solar Physics research. In this thesis, a model is constructed of a typical coronal magnetic loop in order to investigate the response of coronal ...