On the Heilbronn Optimal Configuration of Seven Points in the Square

Zhenbing Zeng, Liangyu Chen. On the Heilbronn Optimal Configuration of Seven Points in the Square. In Thomas Sturm, Christoph Zengler, editors, Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers. Volume 6301 of Lecture Notes in Computer Science, pages 196-224, Springer, 2008. [doi]

Abstract

Abstract is missing.