摘要
研究Heilbronn问题的最大最小距离之比A”,利用所设计的计算机辅助证明系统,得到n=9时,2.4<A。2.569237的新结果。
This paper studies the ratio λ n of the maximum distance to the minimum distance in the Heilbronn problem. Using the software we designed the Heilbronn problem computer aided proof system, we get a new result:when n=9, 2 4<λ 9≤2 569237.
出处
《华南理工大学学报(自然科学版)》
EI
CAS
CSCD
1996年第6期92-97,共6页
Journal of South China University of Technology(Natural Science Edition)
关键词
距离
集
组合几何
计算机辅助证明
distance
sets
combinatorial geometry
computer aided proof