×

鼠尾草

swMATH ID: 26413
软件作者: 维达利,亚诺什
描述: 利用符号计算证明距离规则图的不存在性。为Sage计算机代数系统开发了一个包,用于检查距离规则图的给定交集数组的可行性。我们用这个工具证明了不存在具有交集数组{(2r+1)(4r+1)、(4t−1)、8r(4rt−r+2t)、(r+t)(4r+1)、1、(r++)(4r/+1)、4r(2r+1)(4t‐1)}(r,t≥1)、{135128,16、1,16120}、{234165,12、1,30198}或{55,54,50,35,10、1,5,20,45,55}的距离正则图。在所有情况下,证明都依赖于Krein条件中的等式,从中可以确定三重交点数。然后使用进一步的组合参数来推导不存在性。
主页: https://github.com/jaanos/sage-drg
源代码:  https://github.com/jaanos/sage-drg
依赖项: 圣人
关键词: 距离规则图;克赖恩参数;三相交数;不存在;符号计算
相关软件: SageMath公司;数学软件;GLPK公司;马克西玛;蟒蛇;FinInG公司;岩浆;中国银行
引用于: 7文件

按年份列出的引文