View of Automated proving in planar geometry based on the complex number identity method and elimination

##article.return## Automated proving in planar geometry based on the complex number identity method and elimination Download Download PDF