My 3 year education in The Shanghai High School was the sole impact on my Eduction during 1960-1978

Since 1981, Professor Robert S. Boyer has been the most influential person on my research and on my career in general.

My another thesis adviser at UT, J S. Moore, has played the equal role in my research career and my career in general.

Professor Wen-Tsun Wu also has been giving me his insight into the field of geometry theorem proving since our first correspondence in 1982.

My Research
Paral
9-point