P
Initializing...
A cyclic quartic upper bound on the four-variable simplex · Prove2Me