Role in dependence graphs

Proof-critical source

Diophantine approximation on abelian varieties; a conjecture of M. Waldschmidt

This paper is included only for the following marked statement:

  • Nonhomogeneous $1/4$ theorem · Proc. AMS 12 (1961), 992–993For irrational α\alpha and x∉Zα+Zx\notin\mathbb Z\alpha+\mathbb Z, infinitely many qq satisfy q∥qα−x∥<1/4q\lVert q\alpha-x\rVert<1/4.

AI-generated audit

Audit summary

Not a correctness certificate. These reports do not replace expert scrutiny or formal verification.

No audit has been generated for this published version.

The official AMS index confirmed the bibliographic record and exact PDF URL, but the proof-bearing PDF was blocked by the host during this audit; only consumer-level corroboration is claimed.