My 3 year education (1957-1960) 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
1984 Paper