Registry · Proposition V.P59 tau-effective formalized

V.P59 — Perihelion Advance from tau-GR --- V.P23

Mercury's perihelion advance is computed from the linearized tau-Einstein equation with G = (c^3/hbar) iota_tau^2 to be 42.98 arcsec/century, agreeing with the observed 43.0 +/- 0.5 arcsec/century with no free parameters beyond iota_tau and m_n.

Book V Part 5 Ch. 35

Dependency Graph

Depends on (5)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.KeplerSolarSystem

Symbol: Tau.BookV.Astrophysics.PerihelionAdvanceFromTaugrVp23