To increase our understanding of how ice sheets and glaciers interact with the climate system, numerical models have become an indispensable tool. However, the complexity of these systems and the natural limitation in computational power is reflected in the simplifications of the represented processes and the spatial and temporal resolution of the models. Whether the effect of these limitations is acceptable or not, can be assessed by theoretical considerations and by validating the output of the models against real world data. Equally important is to verify if the numerical implementation and computational method accurately represent the mathematical description of the processes intended to be simulated. This thesis concerns a set of numerical models used in the field of glaciology, how these are applied and how they relate to other study areas in the same field.

The dynamical flow of glaciers, which can be described by a set of non-linear partial differential equations called the Full Stokes equations, is simulated using the finite element method. To reduce the computational cost of the method significantly, it is common to lower the order of the used elements. This results in a loss of stability of the method, but can be remedied by the use of stabilization methods. By numerically studying different stabilization methods and evaluating their suitability, this work contributes to constraining the values of stabilization parameters to be used in ice sheet simulations. Erroneous choices of parameters can lead to oscillations of surface velocities, which affects the long term behavior of the free-surface ice and as a result can have a negative impact on the accuracy of the simulated mass balance of ice sheets.

The amount of basal sliding is an important component that affects the overall dynamics of the ice. A part of this thesis considers different implementations of the basal impenetrability condition that accompanies basal sliding, and shows that methods used in literature can lead to a difference in velocity of 1% to 5% between the considered methods.

The subglacial hydrological system directly influences the glacier's ability to slide and therefore affects the velocity distribution of the ice. The topology and dominant mode of the hydrological system on the ice sheet scale is, however, ill constrained. A third contribution of this thesis is, using the theory of R-channels to implement a simple numerical model of subglacial water flow, to show the sensitivity of subglacial channels to transient processes and that this limits their possible extent. This insight adds to a cross-disciplinary discussion between the different sub-fields of theoretical, field and paleo-glaciology regarding the characteristics of ice sheet subglacial hydrological systems. In the study, we conclude by emphasizing areas of importance where the sub-fields have yet to unify: the spatial extent of channelized subglacial drainage, to what degree specific processes are connected to geomorphic activity and the differences in spatial and temporal scales.

As a whole, the thesis emphasizes the importance of verification of numerical models but also acknowledges the natural limitations of these to represent complex systems. Focusing on keeping numerical ice sheet and glacier models as transparent as possible will benefit end users and facilitate accurate interpretations of the numerical output so it confidently can be used for scientific purposes.