阿里加托.jl swMATH ID: 26257 软件作者： 安德烈亚斯·休门伯格（Andreas Humenberger）；马克西米利安·亚罗斯切克；劳拉·科瓦奇 描述： Aligator.jl—用于循环不变量生成的Julia包。我们描述了Aligator.jl软件包，用于自动生成具有嵌套条件的丰富类扩展P可解循环的所有多项式不变量。jl是用编程语言Julia编写的，是开源的。jl将程序循环转换为代数递归系统，并实现了从符号计算到求解递归的技术，导出了循环变量的闭合形式解，并通过基于Gröbner基计算的变量消去推导多项式不变量的理想。 主页： https://link.springer.com/chapter/10.1007%2F978-3-319-96812-4_10 依赖项： 朱莉娅 相关软件： 短吻鳄；SymPy公司；z3（零3）；SLAM公司；有限责任公司；PRINSYS公司；CEGAR公司；风暴；MRMC公司；棱镜；单一；朱莉娅；SageMath公司；数学聊天；CoqHammer公司；RISCAL公司；数学的计算机工具；OMDoc公司；MMT公司；米扎尔 引用于： 7文件 全部的 前5名12位作者引用 6 科瓦奇，劳拉·伊尔迪科 2 埃齐奥·巴托西 2 安德烈亚斯·休姆伯格 2 米罗斯拉夫斯坦科维奇 1 达内什瓦·阿姆罗拉希 1 Farmer，William M。 1 马克西米利安·亚罗斯切克 1 乔治·凯尼森 1 马塞尔·穆斯布鲁克 1 帕斯莫尔，格兰特·奥尼 1 弗洛里安·拉贝 1 阿卜杜·尤塞夫。 连载1篇 1 计算机科学课堂讲稿 在3个字段中引用 7 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 交换代数（13-XX） 按年份列出的引文