AllData #
Geometry and verified arithmetic for the Conway–Soifer covering theorem at n = 3.
The complete list of the 100 rational certificates used by the covering proof.
Equations
- One or more equations did not get rendered due to their size.
Geometry and verified arithmetic for the Conway–Soifer covering theorem at n = 3.
The complete list of the 100 rational certificates used by the covering proof.