摘要：Aligator.jl：自动生成嵌套条件下的扩展P可解循环的多项式不变量的软件包
作者：Andreas Humenberger and Maximilian Jaroschek and Laura Kov''acs
论文ID：1808.05394
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2018-08-17
PDF 下载： 英文版 中文版pdf翻译中