托马斯·黑尔斯(Thomas C.Hales)。 计算离散几何。 (英语) Zbl 1294.68140号 Fukuda,Komei(编辑)等人,《数学软件——ICMS 2010》。第三届数学软件国际大会,日本神户,2010年9月13日至17日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15581-9/pbk)。计算机科学课堂讲稿6327,1-3(2010)。 摘要:近年来,计算机被定期用于解决离散几何中的主要问题。这篇演讲概述了计算方法。提供的扩展摘要提到了所讨论的几个问题。关于整个系列,请参见[Zbl 1196.68008号]. MSC公司: 68单位05 计算机图形;计算几何(数字和算法方面) 软件:开普勒98 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Hales},莱克特。注释计算。科学。6327,1--3(2010年;Zbl 1294.68140) 全文: 内政部