TY  - RPRT
TI  - GraATP: A Graph Theoretic Approach for Automated Theorem Proving in Plane Geometry
AU  - Mohammad Murtaza Mahmud
AU  - Swakkhar Shatabda
AU  - Mohammad Nurul Huda
PY  - 2014
UR  - https://arxiv.org/abs/1412.5980
ID  - 1412.5980
ER  -