HEXAGONbeta

An exact computer-assisted certificate for R(5,6)≤84

Contributed by Dr. András Pongrácz

Source files

Download source .zip

root filemain.tex · root file3 KiB · SHA-256 efcd06e2a95753a0… · view textauxiliary filearticle.tex52 KiB · SHA-256 3b55640e1aec726b… · view textauxiliary filemethod.tex57 KiB · SHA-256 4c257aab524009e9… · view textauxiliary filespecification.tex113 KiB · SHA-256 f3a41384df99ef83… · view text

Back to the main record