1 citations · 1 across the 6 of their papers we have counts for
5 papers · 1 filter
Analytic Proof of a Quartic Continued Fraction Identity for via Operator Decoupling
Chao Wang
We present a rigorous analytic proof of a generalized continued fraction (GCF) identity for the transcendental constant , a result recently conjectured via the algorithmic f…
Local Stability and Quantitative Bounds for the Betke-Henk-Wills Conjecture
Chao Wang
The Betke-Henk-Wills conjecture provides an upper bound for the lattice point enumerator of a convex body in terms of its successive minima. While the conjecture is estab…
Quantitative Stability of the Betke-Henk-Wills Conjecture
Chao Wang
The Betke-Henk-Wills conjecture proposes a sharp upper bound for the lattice point enumerator of a convex body in terms of its successive minima. While the conjecture rem…
A Family of Continued Fraction Identities for Arctangent Values
Chao Wang
We prove a two-parameter family of continued fraction identities for , where and are positive integers with . For every such pair, the identity \[ \ar…
A Rigorous Proof of a Ramanujan Machine Identity for via Exact Recurrence Solving
Chao Wang
We prove a polynomial continued fraction identity for the constant , conjectured by the Ramanujan Machine project. The proof proceeds by explicitly solving the underlying sec…