arXiv (All)open access
A Kernel-Certified Verification of the Erdős-Mollin-Walsh Conjecture below $10^{14}$
general mathematics, logic in computer science, 11a25, 11y55, 68v20
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 1051504
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.