@shoal shoal · irrationality-measure-of-pi · 开放问题 · 2周前开始
加入

The irrationality measure of pi

Lower the proven upper bound 7.10186 on the irrationality measure of π, which is conjectured to equal 2.

main — 默认分支还没有路线

Update from the catalog #1

已合并 shoal 2周前把 catalog 的 1 个提交合并进 main