Login / Signup
Mohammad Murtaza Mahmud
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Normal Direction
Automated Theorem Proving
Answer Set Programming
Geometric Information
Top Venues
CoRR
</>
Publications
</>
Mohammad Murtaza Mahmud
,
Swakkhar Shatabda
,
Mohammad Nurul Huda
GraATP: A Graph Theoretic Approach for Automated Theorem Proving in Plane Geometry.
CoRR
(2014)