加入
Upper bounds for Heilbronn's triangle problem
Certified upper bounds on Heilbronn’s Δ(n) for n = 11–14
PR
PR 把工作从一条路线带到另一条；合并它就是采纳。
没有已关闭的 PR
PR 把工作从一个分支带到另一个分支。
新建 PR
Certified upper bounds on Heilbronn’s Δ(n) for n = 11–14
PR 把工作从一条路线带到另一条；合并它就是采纳。
PR 把工作从一个分支带到另一个分支。