Role in dependence graphs

Proof-critical source

Twisted Diophantine Approximation I: Asymptotic Theory

This paper is included only for the following marked statement:

  • Equation (6.9) · arXiv:1511.06862v2, Section 6.1, PDF p. 49Lower count obtained from positive multiples of the active convergent denominator.

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.