1. Deng Mike, The parallel numerical method of constructive geometric theorem proving,Sci. Bull. China, to appear.
2. Can the single-instance method prove a geometric theorem?;Jiawei;Sci. Sinica,1986
3. The growth of significant digit lenght in approximate calculation is not faster than that of geometrical series;Jiawei;Sci. Sinica,1986
4. Tao Maoqi, Zhang Jingzhong and Yang Lu, Proving a geometric inequality by multi-instance method, Sci. Sinica, China, to appear.
5. Basic Principles of Mechanical Theorem-proving of Geometries (Part on Elementary Geometries);Wentsun,1984