You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method
Automated Deduction in Geometry
Springer, Berlin, Heidelberg, July 2010
Yu Zou, Jingzhong Zhang