Mathematics & Statistics (School of): Recent submissions
Now showing items 106-110 of 421
-
Automated theorem proving for mathematics : real analysis in PVS
(University of St Andrews, 2002) - ThesisComputer 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
(University of St Andrews, 2018-06-26) - ThesisWe 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
(University of St Andrews, 2018-06-26) - ThesisObservations 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
(University of St Andrews, 2018-06-26) - ThesisThis 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
(University of St Andrews, 1968) - ThesisThe 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 ...