兰加纳坦帕德马纳班;张扬 环理论中的自动推导。 (英语) 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) 全文: DOI程序
帕德马纳班,R。;苏布拉曼尼亚,H。 半环中的理想。 (英语) Zbl 0205.33201号 数学。日本。 13, 123-128 (1968).MSC公司:2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{R.Padmanabhan}和\textit{H.Subramanian},数学。日本。13、123-128(1968年;Zbl 0205.33201)