Files needed for a verification of the proof of Lemma 5 in the paper "A problem of Erdös and Sós on 3-graphs" by Glebov, Kráľ and Volec

This web-page contains the coefficients, the matrices and the script that can be used to verify the correctness of the proof of Lemma 5 presented in the paper A problem of Erdos and Sos on 3-graphs authored by Roman Glebov, Daniel Kráľ and Jan Volec. A preliminary version of the paper can be downloaded from arXiv.

Additional related files (not needed for the verification itself):