Padmanabhan, Ranganathan; Veroff, Robert A geometric procedure with Prover9. (English) Zbl 1383.68080 Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 139-150 (2013). MSC: 68T15 14H52 14Q05 PDFBibTeX XMLCite \textit{R. Padmanabhan} and \textit{R. Veroff}, Lect. Notes Comput. Sci. 7788, 139--150 (2013; Zbl 1383.68080) Full Text: DOI
Padmanabhan, R.; McCune, W. Uniqueness of Steiner laws on cubic curves. (English) Zbl 1112.14067 Beitr. Algebra Geom. 47, No. 2, 543-557 (2006). MSC: 14Q05 14H52 14N05 20N15 51M15 68T15 PDFBibTeX XMLCite \textit{R. Padmanabhan} and \textit{W. McCune}, Beitr. Algebra Geom. 47, No. 2, 543--557 (2006; Zbl 1112.14067) Full Text: EuDML EMIS