恩里克·罗德里格斯-卡博内尔;迪帕克·卡普尔 多项式循环不变量的自动生成：代数基础。 （英语） 兹比尔1108.13310 Gutierrez，Jaime（编辑），ISSAC 2004。2004年7月4日至7日，西班牙桑坦德，2004年符号和代数计算国际研讨会论文集。纽约州纽约市：ACM出版社（ISBN 1-58113-827-X/pbk）。266-273 (2004). 引用于1审查引用于19文件 MSC公司： 13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础） 68瓦30 符号计算和代数计算 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号30 软件工程的数学方面（规范、验证、度量、需求等） 引文：Zbl 1104.68022号 软件：格罗布纳;枫树 PDF格式BibTeX公司 XML格式引用 \textit{E.Rodríguez-Carbonell}和\textit{D.Kapur}，摘自：2004年符号和代数计算国际研讨会论文集，ISSAC 2004，西班牙桑坦德，2004年7月4-7日。纽约州纽约市：ACM出版社。266--273（2004年；Zbl 1108.13310） 全文： 内政部