Seismic imaging, inversion and modelling. Solution theory and numerical methods for partial differential equations.