帕德马纳班,R。;阿洛克·舒克拉 有限域上椭圆曲线上的果园。 (英语) Zbl 1457.52019年 有限域应用。 68,文章ID 101756,17 p.(2020).MSC公司:52立方米 14H52型 2005年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Padmanabhan}和\textit{A.Shukla},有限域应用。68,文章ID 101756,17 p.(2020;Zbl 1457.52019) 全文: DOI程序 arXiv公司
兰加纳坦帕德马纳班;罗伯特·弗罗夫 使用Prover9的几何程序。 (英语) Zbl 1383.68080号 Bonacina,Maria Paola(编辑)等人,《自动推理和数学》。纪念威廉·麦库恩的散文。柏林:施普林格出版社(ISBN 978-3-642-36674-1/pbk)。计算机科学课堂讲稿7788。《人工智能课堂讲稿》,139-150(2013)。MSC公司:68吨15 14H52型 2005年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Padmanabhan}和\textit{R.Veroff},Lect。注释计算。科学。7788,139-150(2013年;兹bl 1383.68080) 全文: DOI程序
帕德马纳班,R。;W.麦库恩。 三次曲线上斯坦纳定律的唯一性。 (英语) Zbl 1112.14067号 拜特尔。代数几何。 47,第2期,543-557(2006).MSC公司:2005年第14季度 14时52分 14号05 20N15型 2015年11月51日 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Padmanabhan}和\textit{W.McCune},Beitr。代数几何。47,第2号,543--557(2006;Zbl 1112.14067) 全文: 欧洲DML EMIS公司
威廉·麦库恩;帕德马纳班,R。 方程式逻辑和三次曲线的自动推导。 (英语) Zbl 0921.03011号 计算机科学课堂讲稿1095.人工智能课堂讲稿。柏林:Springer-Verlag。ix,第231页,54.00德国马克;öS 394.20;sFr公司。48.00 (1996).MSC公司:03B35型 68吨15 03-02 68-02 03C05号机组 08-04 14-04 2005年第14季度 14小时45分 PDF格式BibTeX公司 XML格式引用 \textit{W.McCune}和\textit{R.Padmanabhan},等式逻辑和三次曲线的自动演绎。柏林:Springer-Verlag(1996;Zbl 0921.03011) 全文: DOI程序
帕德马纳班,R。;W.麦库恩。 三次曲线的自动推理。 (英语) Zbl 0828.68110号 计算。数学。申请。 29,第2期,17-26(1995). 审核人:J.R.Sendra(马德里) MSC公司:68吨15 2005年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Padmanabhan}和\textit{W.McCune},计算机。数学。申请。29,No.2,17--26(1995;Zbl 0828.68110) 全文: DOI程序
Padmanabhan,R。;R·文卡塔拉曼。 代数拟群。 (英语) Zbl 0815.20068号 J.Ramanujan数学。Soc公司。 8,编号1-2,61-80(1993). 审核人:M.Csikós(哥德洛) MSC公司:20号05 08A40号 14升05 03C05号机组 20A05年 PDF格式BibTeX公司 XML格式引用 \textit{R.Padmanabhan}和\textit{R.Venkataraman},J.Ramanujan数学。Soc.8,No.1--2,61-80(1993;Zbl 0815.20068)
门德尔松,N.S。;帕德马纳班,R。 顶点位于非奇异三次曲线上的自内接多边形。 (英语) Zbl 0678.51013号 线性代数应用。 114-115, 603-611 (1989). 审核人:Hösli先生 MSC公司:2015年11月51日 14号05 05B25号 05B10号 PDF格式BibTeX公司 XML格式引用 \textit{N.S.Mendelsohn}和\textit{R.Padmanabhan},线性代数应用。114-115603-611(1989;Zbl 0678.51013) 全文: DOI程序
帕德马纳班,R。 几何中的等式逻辑。 (英语) Zbl 0495.03015号 离散数学。15, 319-331 (1982).MSC公司:03C05号机组 14A10号 08B05号 14A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Padmanabhan},Ann.离散数学。15、319--331(1982;Zbl 0495.03015) 全文: DOI程序