  Wiles' proof of Fermat's last theorem initiated a powerful new approach
towards the resolution of certain Diophantine equations over $\mathbb{Q}$.
Numerous novel obstacles arise when extending this approach to the resolution
of Diophantine equations over totally real number fields. We give an extensive
overview of these obstacles as well as providing a survey of existing methods
and results in this area.
