桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 基于Gröbner基的非线性循环不变量生成。 （英语） Zbl 1325.68071号 2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。318-329 (2004). 引用于44文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 第13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础） 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 关键词：Gröbner碱;约束编程;理想;不变生成;程序分析;符号计算;验证 PDF格式BibTeX公司 XML格式引用 \textit｛S.Sankaranarayanan｝等人，在：第31届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’04，意大利威尼斯，2004年1月14日至16日。纽约州纽约市：计算机协会（ACM）。318--329（2004；Zbl 1325.68071） 全文： DOI程序 链接