Ranganathan Padmanabhan

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 3

Top Topics

Automated Deduction

Partially Occluded

Projective Transformations

Top Venues

Automated Reasoning and Mathematics

J. Formaliz. Reason.

J. Autom. Reason.

Publications

G. I. Moghaddam, Ranganathan Padmanabhan, Yang Zhang
Automated Reasoning with Power Maps. J. Autom. Reason. 64 (4) (2020)
Ranganathan Padmanabhan, Yang Zhang
Commutativity Theorems in Groups with Power-like Maps. J. Formaliz. Reason. 12 (1) (2019)
Ranganathan Padmanabhan, Yang Zhang
Automated Deduction in Ring Theory. ICMS (2016)
Ranganathan Padmanabhan, Robert Veroff
A Geometric Procedure with Prover9. Automated Reasoning and Mathematics (2013)
Eric Ens, Ranganathan Padmanabhan
Group Embedding of the Projective Plane PG(2, 3). Automated Reasoning and Mathematics (2013)