Heilbronn问题的一个新结果

作者：陶志穗; 蔡俊杰

来源：华南理工大学学报(自然科学版), 1996, (06): 92-97.

• 距离
• 集
• 组合几何
• 计算机辅助证明 distance
• sets
• combinatorial geometry
• computer aided proof

研究Heilbronn问题的最大最小距离之比A”，利用所设计的计算机辅助证明系统，得到n＝9时，2．4＜A。2．569237的新结果。

• 出版日期1996
• 单位华南理工大学