伽达

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换