GraATP: A graph theoretic approach for Automated Theorem Proving in plane geometry
GraATP: A graph theoretic approach for Automated Theorem Proving in plane geometry
Automated Theorem Proving (ATP) is an established branch of Artificial Intelligence. The purpose of ATP is to design a system which can automatically figure out an algorithm either to prove or disprove a mathematical claim, on the basis of a set of given premises, using a set of fundamental postulates …