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]
@inproceedings{ZengC08-0, title = {On the Heilbronn Optimal Configuration of Seven Points in the Square}, author = {Zhenbing Zeng and Liangyu Chen}, year = {2008}, doi = {10.1007/978-3-642-21046-4_11}, url = {http://dx.doi.org/10.1007/978-3-642-21046-4_11}, researchr = {https://researchr.org/publication/ZengC08-0}, cites = {0}, citedby = {0}, pages = {196-224}, booktitle = {Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers}, editor = {Thomas Sturm and Christoph Zengler}, volume = {6301}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-21045-7}, }