Published paper
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 and , infinitely many satisfy .
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.