王东明 关于Ritt特征集与Buchberger-Gröbner基之间的联系。 (英语) Zbl 1388.13058号 数学。计算。科学。 10,第4号,479-492(2016)。 审核人:曼努埃尔·阿韦利诺·因苏亚·赫莫(诺亚) MSC公司:13页第10页 第13页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Wang},数学。计算。科学。10,第4号,479--492(2016;Zbl 1388.13058) 全文: 内政部 arXiv公司
尤里·马宁。;马蒂尔德·马科利 语义空间。 (英语) Zbl 1409.68302号 数学。计算。科学。 10,第4期,459-477(2016)。MSC公司:68T50型 14月15日 PDF格式BibTeX公司 XML格式引用 \textit{Y.I.Manin}和\textit{M.Marcolli},数学。计算。科学。10,第4号,459--477(2016;Zbl 1409.68302) 全文: 内政部 arXiv公司 链接
拉吉,丹尼尔;阿兰·邦迪;古德蒙德·格罗夫;艾莉森·皮斯 在离散数学中自动改变证明的表示(扩展版)。 (英语) Zbl 1409.68261号 数学。计算。科学。 10,第4期,429-457(2016)。MSC公司:68吨15 68卢比 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Raggi}等人,《数学》。计算。科学。10,第4号,429--457(2016;Zbl 1409.68261) 全文: 内政部
费卢西奥·圭迪;克劳迪奥·萨塞尔多蒂·科恩 数学知识检索综述。 (英语) Zbl 1409.68085号 数学。计算。科学。 10,第4号,409-427(2016)。MSC公司:68第20页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Guidi}和\textit{C.Sacerdoti Coen},数学。计算。科学。10,第4号,409--427(2016;Zbl 1409.68085) 全文: 内政部 arXiv公司