HEXAGONbeta

A 256-step certificate for Turán's pure power-sum constant

Contributed by Ricardo Pinho

Source files

Download source .zip

root filec42.tex · root file10 KiB · SHA-256 00faa0fe9a2eb8b5… · view textancillaryanc/c42_256.json20 KiB · SHA-256 705a729155eb5088… · view text

Back to the main record