迈克尔·布里肯斯坦;亚历山大·德雷尔 Polybori:用布尔多项式进行Gröbner基计算的框架。 (英语) Zbl 1186.68571号 J.塞姆。计算。 44,第9期,1326-1345(2009).MSC公司:68瓦30 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Brickenstein}和\textit{A.Dreyer},J.Symb。计算。44,编号9,1326--1345(2009;Zbl 1186.68571) 全文: 内政部
迈克尔·布里肯斯坦;亚历山大·德雷耶;格特·马丁·格雷尔;马库斯·韦德勒;奥利弗·维南德 Gröbner基理论的新发展及其在形式验证中的应用。 (英语) Zbl 1164.68019号 J.纯应用。代数 213,第8期,1612-1635(2009).MSC公司:60年第68季度 06E30年 13层20 13页第10页 68瓦30 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Brickenstein}等人,J.Pure Appl。《代数》213,第8期,1612-1635(2009;Zbl 1164.68019) 全文: 内政部 arXiv公司