Rigorous equations in compact symbolic matrix notation are introduced to transform coordinates and velocities between ITRF frames and modern GPS-based geocentric geodetic datums. The theory is general but, after neglecting higher than second-order terms, it is shown that the equations revert to the formulation currently applied in most major continental datums. We discuss several examples: the North American Datum of 1983 (NAD83), the European Terrestrial Reference System of 1989 (ETRS89), the Geodetic Datum of Australia of 1994 (GDA94), and the South American Geocentric Reference System (SIRGAS).