德拉戈什·Cvetković;斯洛博丹·西米奇 在专家系统“Graph”的支持下获得的图形理论结果——一项扩展调查。 (英语) Zbl 1108.05061号 Fajtlowicz,Siemion(编辑)等人,《图形与发现》。DIMACS工作组会议记录,来自图论和化学数据库的计算机生成猜想,2001年11月12日至16日,以及DIMACS公共事件,图论第42天,2001年10月10日,美国新泽西州皮斯卡塔韦。普罗维登斯,RI:美国数学学会(AMS)(ISBN 0-8218-3761-3/hbk)。DIMACS系统。离散数学和理论计算机科学系列69,39-70(2005)。 GRAPH是一个交互式软件包,于80年代在贝尔格莱德大学作为专家系统开发,旨在通过帮助提出、验证或反驳猜想来支持图论研究。本文调查了92篇论文,主要是谱图理论,其结果是在graph的支持下获得的。呈现的结果分为以下几个部分:图表表。图的最大特征值。图的第二大特征值。最小特征值由\(-2\)限定的图。积分图。绘制角度。星星补语。图与其补集共享指定的属性。其他结果。组合优化。关于整个系列,请参见[Zbl 1087.05001号].审核人:德拉甘·斯特瓦诺维奇(尼什) 引用于6文件 MSC公司: 05元50分 图和线性代数(矩阵、特征值等) 05-04 与组合学有关的问题的软件、源代码等 关键词:计算机辅助研究;图论;图形光谱 软件:图形 PDF格式BibTeX公司 XML格式引用 \textit{D.Cvetković}和\textit{S.Simić},DIMACS,Ser。离散数学。西奥。计算。科学。69、39-70(2005;Zbl 1108.05061)