Registry · Proposition V.P72 tau-effective formalized

V.P72 — Hulse--Taylor Agreement --- V.P36

The Hulse-Taylor binary PSR B1913+16 orbital period derivative P_dot = (-2.423 +/- 0.001)e-12 agrees with the tau-Einstein prediction P_dot = -2.4025e-12 to 0.3%, within systematic uncertainty of the Galactic potential model.

Book V Part 5 Ch. 38

Dependency Graph

Depends on (6)

Lean Formalization

Module: TauLib.BookV.Astrophysics.CompactObjects

Symbol: Tau.BookV.Astrophysics.HulsetaylorAgreementVp36