Registry · Definition V.D281 tau-effective formalized

V.D281 — GW Event Catalog

Seven-event LIGO catalog: GW150914, GW151226, GW170104, GW170608, GW170729, GW170814, GW170817 (BNS). Masses, chirp masses, remnant masses.

Book V Part 5 Ch. 41

Dependency Graph

Depends on (1)

V.D54

Depended on by (3)

V.T222 V.T223 V.T225

Lean Formalization

Module: TauLib.BookV.Astrophysics.BinaryMergersGW

Symbol: Tau.BookV.Astrophysics.gw_event_catalog