瓦塔西，靖国 关于初级理想。一、。 （英语） Zbl 1483.68495号 福尔马利兹。数学。 29，第2期，95-101（2021）.MSC公司：68V20型 13A70型 16D70型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Watase}，福尔马利兹。数学。29，第2号，95-101（2021；Zbl 1483.68495） 全文： 内政部
德利马，塔纳拉·阿里利;安德烈·路易斯·加尔迪诺;阿维拉，安德烈亚·博尔赫斯;毛里西奥Ayala Rincón PVS中环理论的形式化。同构定理，主理想，素理想和极大理想，中国剩余定理。 （英语） Zbl 1493.68389号 J.汽车。推理 65，第8期，1231-1263（2021）. 审核人：菲利波·努乔（圣埃蒂安） MSC公司：68V20型 03B35型 第13页99 2016年05月 20号02 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{T.A.de Lima}等人，J.Autom。推理65，No.8，1231--1263（2021；Zbl 1493.68389） 全文： 内政部
大卫·M·塞尔纳。 反统一与半环理论。 （英语） Zbl 1464.68138号 西奥。计算。科学。 848, 133-139 (2020).MSC公司：2012年第68季度 2016年60月 PDF格式BibTeX公司 XML格式引用 \文本｛D.M.Cerna｝，Theor。计算。科学。848133-139（2020年；Zbl 1464.68138） 全文： 内政部
兰加纳坦帕德马纳班;张扬 环理论中的自动演绎。 （英语） Zbl 1434.68642号 Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 67-74 (2016).MSC公司：第68卷第15页 03B35型 2016年05月 PDF格式BibTeX公司 XML格式引用 \textit{R.Padmanabhan}和\textit{Y.Zhang}，Lect。注释计算。科学。9725，67-74（2016；Zbl 1434.68642） 全文： 内政部
朱尔斯·德沙奈斯;乔治·斯特鲁斯 域半环的内部公理。 （英语） Zbl 1211.68242号 科学。计算。程序。 76，第3期，181-203（2011）.MSC公司：第68季度55 03B45号 03G25号 2016年60月 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}和\textit{G.Struth}，科学。计算。程序。76，第3号，181--203（2011；Zbl 1211.68242） 全文： 内政部
博库特，洛杉矶。;陈玉群;陈永善 自由代数张量积的合成-偶数引理。 （英语） Zbl 1198.16022号 J.代数 323，第9期，2520-2537（2010）. 审核人：郭月儿（诺克斯维尔） MSC公司：2016年10月 13页第10页 第16章第15节 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Bokut}et al.，J.Algebra 323，No.9，2520--2537（2010；Zbl 1198.16022） 全文： 内政部 arXiv公司
G.Belitskii。;利皮扬斯基，R。 各种幂零环中毕达哥拉斯方程的统一类型。 （英语） Zbl 1159.16016号 J.塞姆。计算。 41，第1期，67-79（2006）.MSC公司：16兰特 16号40 2016年05月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{G.Belitskii}和\textit{R.Lipyanski}，J.Symb。计算。41，第1号，67--79（2006；Zbl 1159.16016） 全文： 内政部
R.N.班纳吉。;A.布约萨。 句法统一是指在某些环上的自由模中的几何运算。 （英语） Zbl 1270.68384号 Patrick Eklund等人，《联合国海洋法公约》，2002年。非经典逻辑中的统一。2002年7月12日，西班牙马拉加ICALP卫星研讨会上的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》66，第5期，22-40（2002）。MSC公司：68瓦30 2016年40月 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.N.Banerjee}和\textit{A.Bujosa}，电子。注释Theor。计算。科学。66，第5号，22--40（2002；Zbl 1270.68384） 全文： 内政部
鲁维姆·利皮扬斯基 结合环和交换环统一理论中的毕达哥拉斯三元组。 （英语） Zbl 1016.16012号 Commun公司。代数 30，第11期，5137-5154（2002）. 审核人：鲍里斯·维尔尼科夫（叶卡捷琳堡） MSC公司：16号40 16兰特 68吨15 03B35型 2016年05月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit｛R.Lipyanski｝，公社。代数30，No.11，5137--5154（2002；Zbl 1016.16012） 全文： 内政部
陈玉福;高小山 对合方向和新的对合划分。 （英语） 2010年10月18日Zbl 计算。数学。申请。 41，编号7-8，945-956（2001）. 审核人：克里斯托弗·阿索恩（格拉斯哥） MSC公司：2005年12月 13页第10页 12H20型 2016年05月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{Y.-F.Chen}和\textit{X.-S.Gao}，计算。数学。申请。41，编号7--8，945--956（2001；Zbl 1018.12010） 全文： 内政部
Franz巴德;沃纳·纳特 交换/单体理论的组合问题或代数如何帮助方程统一。 （英语） 兹比尔0853.03008 申请。代数工程通讯。计算。 7，第4期，309-337（1996）.MSC公司：05年3月 08A70号 18E05型 2016年60月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit｛F.Baader｝和\textit｛W.Nutt｝，应用。代数工程通讯。计算。7，第4号，309--337（1996；Zbl 0853.03008） 全文： 内政部
张汉涛 用代数方法自动证明环的交换性问题。 （英语） Zbl 0698.68037号 J.塞姆。计算。 9，第4期，423-427（1990）.MSC公司：68瓦30 16U70型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}，J.Symb。计算。9，第4号，423--427（1990；Zbl 0698.68037） 全文： 内政部