Spacecraft near Earth have long relied on GPS signals for navigation, just as users on the ground might use their phones to navigate the highways. Farther away, navigation — and the math behind it — becomes a great deal more challenging.