海因茨·克雷德尔 在Java计算机代数系统上,其性能和应用。 (英语) Zbl 1140.68351号 科学。计算。程序。 70,编号2-3,185-207(2008).MSC公司:68甲15 68瓦30 13页第10页 PDF格式BibTeX公司 XML格式引用 \文本{H.Kredel},科学。计算。程序。70,编号2--3,185-207(2008;Zbl 1140.68351) 全文: DOI程序
罗德里格斯-卡博内尔,E。;卡普尔,D。 使用抽象解释自动生成有界度多项式不变量。 (英语) Zbl 1171.68555号 科学。计算。程序。 64,第1期,54-75(2007).MSC公司:60年第68季度 68问题55 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{E.Rodríguez-Carbonell}和\textit{D.Kapur},科学。计算。程序。64,第1号,54--75(2007;Zbl 1171.68555) 全文: DOI程序