Ranganathan Padmanabhan

According to our database, Ranganathan Padmanabhan authored at least 5 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Automated Reasoning with Power Maps.

G. I. Moghaddam, Ranganathan Padmanabhan, Yang Zhang

J. Autom. Reason., 2020

2019

Commutativity Theorems in Groups with Power-like Maps.

Ranganathan Padmanabhan, Yang Zhang

J. Formaliz. Reason., 2019

2016

Automated Deduction in Ring Theory.

Ranganathan Padmanabhan, Yang Zhang

Proceedings of the Mathematical Software - ICMS 2016, 2016

2013

A Geometric Procedure with Prover9.

Ranganathan Padmanabhan, Robert Veroff

Proceedings of the Automated Reasoning and Mathematics, 2013

Group Embedding of the Projective Plane PG(2, 3).

Eric Ens, Ranganathan Padmanabhan

Proceedings of the Automated Reasoning and Mathematics, 2013