Hong-Bo Li
Original record- Institution
- Peking University
- Year
- 1994
- Country
- China
- MGP identifier
- 155639
Dissertation: New Strategies in Mechanical Proving of Geometry Theorems
Mathematics Subject Classification: 51—Geometry
Advisor 1
- Min-Teh ChengPrinceton University · 1949
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Weikun Sun | Chinese Academy of Sciences | 2006 | 0 |
| Lixian Zhang | Academy of Mathematics and Systems Science, Chinese Academy of Sciences | 2011 | 0 |