A class-wide exact-two obstruction for modulus 9 in finite odd covering systems, established through a computer-assisted mathematical proof with exact certificates and reproducible verification.
mathematics verification modular-arithmetic number-theory computer-assisted-proof congruences exact-computation mathematical-research obstruction-theory residue-classes reproducible-mathematics finite-certificates covering-systems mathematical-certificates shunyaya combinatorial-number-theory covering-congruences odd-covering-systems modulus-9 nonexistence-theorems
-
Updated
Sep 12, 2026 - Python