亚历山·拉萨鲁克;托马斯·斯特姆 整数的完全线性理论的弱量词消除。 (英语) Zbl 1154.68112号 申请。代数工程通讯。计算。 18,第6号,545-574(2007).MSC公司:68瓦30 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Lasaruk}和\textit{T.Sturm},应用。代数工程通讯。计算。18,第6545-574号(2007年;Zbl 1154.68112) 全文: 内政部
维斯芬宁。 实代数的量词消去——二次型情形及其以外。 (英语) Zbl 0867.03003号 申请。代数工程通讯。计算。 8,第2期,85-101(1997).MSC公司:03B35型 03C10号机组 第68页第15页 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Weispfenning},应用。代数工程通讯。计算。8,第2号,85--101(1997;Zbl 0867.03003) 全文: 内政部
汉斯·格特·格拉贝 最小主分解和因式分解Gröbner基。 (英语) Zbl 1055.13501号 申请。代数工程通讯。计算。 8,第4期,265-278(1997).MSC公司:13页第10页 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-G.Gräbe},应用。代数工程通讯。计算。8,第4号,265--278(1997;Zbl 1055.13501) 全文: 内政部 链接
卡琳·加特曼 半变量、等变量和算法。 (英语) Zbl 0845.13009号 申请。代数工程通讯。计算。 7,编号2105-124(1996). 审核人:G.Pfister(凯泽斯劳滕) MSC公司:13页第10页 13A50型 14L24型 PDF格式BibTeX公司 XML格式引用 \textit{K.Gatermann},申请。代数工程通讯。计算。7,第2号,105-124(1996;Zbl 0845.13009) 全文: 内政部