I was looking for the equations that are used by the GPS receiver to calculate its position and time correction (bias). By looking at the Navigation Equations on Wikipedia, I don't see any account for special or general relativity in the equations. Where and when does that correction occur?
Hopefully this is not a duplicate of "Why GPS depends on relativity". I understand the why. But what I don't get is why does not the time correction (i.e. bias) that is calculated from the navigation equations already account for the relativistic difference between the clocks?