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