Group Embedding of the Projective Plane PG(2, 3). - Eric Ens; Ranganathan Padmanabhan (Automated Reasoning and Mathematics, 2013)

A Geometric Procedure with Prover9. - Ranganathan Padmanabhan; Robert Veroff (Automated Reasoning and Mathematics, 2013)

Automated Deduction in Ring Theory. - Ranganathan Padmanabhan; Yang Zhang 045 (ICMS, 2016)

Commutativity Theorems in Groups with Power-like Maps. - Ranganathan Padmanabhan; Yang Zhang 045 (J. Formaliz. Reason., 2019)

Automated Reasoning with Power Maps. - G. I. Moghaddam; Ranganathan Padmanabhan; Yang Zhang 045 (J. Autom. Reason., 2020)

First-order theorem proving with power maps in semigroups. - Yi Lin; Ranganathan Padmanabhan; Yang Zhang (SCSS (Work in Progress), 2024)