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 Erdös and Sós on 3-graphs" authored by Roman Glebov, Daniel Kráľ and Jan Volec.


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