Registry · Proposition V.P61 tau-effective formalized

V.P61 — Shapiro Delay from tau-GR --- V.P25

The Shapiro time delay Delta t = (4GM/c^3) ln(4 r_1 r_2 / d^2) follows from the temporal boundary-character perturbation in the linearized tau-Einstein equation, confirmed by the Cassini mission to 2e-5 relative accuracy.

Book V Part 5 Ch. 35

Dependency Graph

Depends on (4)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Astrophysics.KeplerSolarSystem

Symbol: Tau.BookV.Astrophysics.ShapiroDelayFromTaugrVp25