Calculation record

Arb contraction certificates for real zonal stationary quartic roots.

Research context

Interpret numerical checks within the assumptions and limitations documented in these notes.