Numerical Approach for Automatic Theorem Proving in Plane Geometry - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Siwen Guo' in Google

runs on WebDSL