亚历山大·施利普 软件GADAR及其在极值图论中的应用。 （英语） Zbl 0841.68067号 恭喜。Numeratium公司 104, 193-203 (1994). 摘要：对于代数定义的图类，即顶点之间的邻接由一些代数关系定义的图，现有的软件包效率太低。GADAR（“具有代数定义的邻接关系的图”的缩写）是一个基于Mathematica的软件包。对于它的设计和实现，使用了面向对象编程的技术。该包被应用于研究无限族图（{mathcal D}{k，q}）和（{mathcal C}D{k，q}），得到了一些非直观猜想。正如Lazebnik、Ustimenko和Woldar可以证明的那样，族（{mathcal C}D_{k，q}）是一个图族的例子，对于给定的顺序和周长，它的大小是最大的（除了有限数量的例外）。 引用于2文件 MSC公司： 68瓦30 符号计算和代数计算 68兰特 计算机科学中的图论（包括图形绘制） 05立方厘米35 图论中的极值问题 关键词：数学 软件：GADAR公司；数学软件 PDF格式BibTeX公司 XML格式引用 \textit{A.Schliep}，国会议员。数字104，193--203（1994；Zbl 0841.68067）