On the densest lattice 8-packing in the plane (Q789733)

In the paper the maximum density of an 8-tuple lattice packing of unit circles in the euclidean plane is determined. Moreover, the extremal packing is unique up to isometry. [Cf. \textit{G. Fejes Tóth}, Stud. Sci. Math. Hung. 12, 447-456 (1977; Zbl 0492.52008), \textit{A. Heppes}, Acta Math. Acad. Sci. Hung. 10, 141-148 (1959; Zbl 0086.155), \textit{W. J. Blundon}, J. Lond. Math. Soc. 38, 176-182 (1963; Zbl 0118.175)].