J Allikvere

Fourteen lonely runners: manuscript, gate certificates, and audit code

Manuscript and complete verification package for the paper "Fourteen lonely runners": a computer-assisted proof of the Lonely Runner Conjecture for fourteen runners (thirteen moving runners, LRC(13)), within the finite-checking framework of Sungkawichai and Trakulthongchai (arXiv...

Finiteness, Prescribed Gaps, and Extremal Growth in Edge Multiset Dimension: manuscript, verification code, and exact small-order census

Manuscript and complete verification package for the paper "Finiteness, Prescribed Gaps, and Extremal Growth in Edge Multiset Dimension". The paper resolves Problems 22–24 and contributes to Problem 21 of the survey by Farhan, Klavžar, Kuziak and Yero (arXiv:2607.10311). Main res...

Distance Polynomials of Extended Double Covers and Their Iterates, with Corrections to Two Formulas for the Eccentric Distance Sum

Correction and extension of two formulas of H. Hua, S. Zhang and K. Xu, "Further results on the eccentric distance sum", Discrete Appl. Math. 160 (2012) 170–180 (doi:10.1016/j.dam.2011.10.002). Theorem 7 of that paper states ξd(G*) = 6ξd(G) + 12W(G) + 2(n−1)ζ(G) + 2n(n−1) for the...

Distance Polynomials of Extended Double Covers and Their Iterates, with Corrections to Two Formulas for the Eccentric Distance Sum

Correction and extension of two formulas of H. Hua, S. Zhang and K. Xu, "Further results on the eccentric distance sum", Discrete Appl. Math. 160 (2012) 170–180 (doi:10.1016/j.dam.2011.10.002). Theorem 7 of that paper states ξd(G*) = 6ξd(G) + 12W(G) + 2(n−1)ζ(G) + 2n(n−1) for the...