|
|
|
|
|
|
by bigbillheck
791 days ago
|
|
|
> If published someone like Terrence Tao could write formal proofs for them like he and his team did some improvements for the work by Yitang Zhang. From the second paragraph: > George Andrews and Bruce C. Berndt (2005, 2009, 2012, 2013, 2018) have published several books in which they give proofs for Ramanujan's formulas included in the notebook |
|
|