Ibrahim Mian

1. Kernel-Checked Exclusions for the Erdős-Selfridge Odd Covering Problem: Any Odd Covering of ℤ Has lcm Exceeding 10000
   2026/07/28 by Ibrahim Mian, Shayaan Siddique
   #cs.LO #math.NT
2. Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound
   2026/07/29 by Shayaan Siddique, Ibrahim Mian
   Computer Science · Physics and Astronomy · #cs.LO #msc:12D15 #msc:68V20 #msc:81P13 #quant-ph