6 papers
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 se…
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…
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…
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 esta…
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 re…
A remark on the counterexample to the unknotting number conjecture
Chao Wang, Yimu Zhang
By using Snappy, M. Brittenham and S. Hermiller discovered a very surprising example that , where is the -toru…