Siwen Guo. Numerical Approach for Automatic Theorem Proving in Plane Geometry. In 2013 5th International Conference on Intelligent Networking and Collaborative Systems, Xi'an city, Shaanxi province, China, September 9-11, 2013. pages 207-209, IEEE, 2013. [doi]
Abstract is missing.