Ranganathan Padmanabhan

According to our database, Ranganathan Padmanabhan authored at least 6 papers between 2013 and 2024.

Collaborative distances:

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

2024

First-order theorem proving with power maps in semigroups.

Yi Lin, Ranganathan Padmanabhan, Yang Zhang

Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), 2024

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