一种借助 Prolog 搜索新单李代数的方法
环与代数
2023-01-19 v2 计算机科学中的逻辑
摘要
我们描述了近期在 Prolog 编程环境中利用“有限域约束逻辑编程”——CLP(FD)——库，在含 个元素的域 上搜索新单李代数的计算机研究。受 Grishkov 等人论文的启发，我们专门寻找具有“薄分解”的此类代数，并解决了他们的一个猜想。除在维数 中找到七个新的零星例子外，我们还从结果中推断存在两个新的单李代数无限族。我们也更好地将一些先前发现的单代数置于文献中似乎从未出现过的族中加以语境化，并给出当前已知代数的更新表格。
引用
@article{arxiv.2207.01094,
title = {A Prolog assisted search for new simple Lie algebras},
author = {David Cushing and George W. Stagg and David I. Stewart},
journal= {arXiv preprint arXiv:2207.01094},
year = {2023}
}
备注
47 pages