Solving Turán's Tetrahedron Problem for the $\ell_2$-Norm

József Balogh, Felix Christian Clemen, Bernard Lidický

This page is containing computer assisted parts of the paper titled Solving Turán's Tetrahedron Problem for the $\ell_2$-Norm. A preliminary version of the paper can be downloaded here.

You can download the technical things as one archive

Other (pre)requisites for redoing the entire calculation

Description of the files in The archive contains three subdirectoris codegreesquared_F33, codegreesquared_K4, and codegreesquared_K5 and each contains data for one calculation. Below we provide description of files that appear in the main directory and subdirectories.