伽达

GADAR软件及其在代数定义图类极值图论中的应用——即顶点之间的邻接由一些代数关系定义的图——现有的软件包效率太低。GADAR是一个基于Mathematica的软件包。对于它的设计和实现，采用了面向对象的编程技术。该包用于研究${cald}{k，q}$和${cal C}D{k，q}$图的无穷族，得到了一些非直观的猜想。正如Lazebnik，Ustimenko和Woldar所证明的那样，${cal C}D{k，q}$族是给定阶数和周长的图族的一个例子（除了有限数量的例外）。