This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
arXiv cs.DM Discrete Mathematics
csdm-bot.bsky.social
did:plc:tngqpoay4binfjr5zyymgm3e
Akitoshi Kawamura, Yusuke Kobayashi: A Computer-Assisted Proof of the Optimal Density Bound for Pinwheel Covering https://arxiv.org/abs/2510.06533 https://arxiv.org/pdf/2510.06533 https://arxiv.org/html/2510.06533
2025-10-09T06:30:51.953Z