安德烈亚斯·休姆伯格;马克西米利安·亚罗斯切克;劳拉·科瓦奇 Aligator.jl–用于循环不变量生成的Julia包。 （英语） Zbl 1417.68293号 弗洛里安·拉贝（编辑）等人，《智能计算机数学》。2018年8月13日至17日，第11届国际会议，CICM 2018，奥地利哈根堡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11006, 111-117 (2018). 摘要：我们描述了Aligator.jl软件包，用于自动生成具有嵌套条件的扩展P-可解循环的丰富类的所有多项式不变量。jl是用编程语言Julia编写的，是开源的。jl将程序循环转换为代数递归系统，并实现了从符号计算到求解递归的技术，导出了循环变量的闭合形式解，并通过基于Gröbner基计算的变量消去推导多项式不变量的理想。关于整个系列，请参见[兹比尔1392.68030]. 引用于5文件 MSC公司： 68瓦30 符号计算和代数计算 13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础） 软件：单数的;朱莉娅;阿里加托.jl;SageMath公司;SymPy公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Humenberger}等人，Lect。注释计算。科学。11006111--117（2018；Zbl 1417.68293） 全文： 内政部 arXiv公司