Computing the position of a personal mobile device based on a mix of various types of measurements requires a wide array of mathematical concepts ranging from optimisation to robust estimation and nonlinear filtering theory. ...