Computer Assisted Proofs for Billiards on Perturbed Elliptical Tables

Date: January 28, 2026