Linear inverse problem formulation
But instead of just looking at one star, they have lots of them observing a huge part of the sky!
Technical definition
A mathematical framework for solving the inverse problem of reconstructing the sky map from observed pulse timing measurements, assuming a linear relationship between the two.