Xuefeng Chen
Ph.D. Academy of Mathematics and Systems Science, Chinese Academy of Sciences 2005
Dissertation:
Computation of Quasi Varieties and Its Applications on Geometric Theorem Proving
Advisor 1: Wen-Tsün Wu
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 338110 for the advisor ID.