Ph.D. Peking University 1994
Dissertation: New Strategies in Mechanical Proving of Geometry Theorems
Mathematics Subject Classification: 51—Geometry
Advisor 1: Min-Teh Cheng
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 155639 for the advisor ID.