1[1]Wu W T.On the decision problem and the mechanization of theorem proving in elementary geometry.Scientia Sinica,1978,21:159～172.
2[2]Wu W T.Basic principles of mechanical theorem proving in elementary geometries.J Sys Sci & Math Scis,1984,4:207～235.
3[3]Wu W T.Basic Principles of Mechanical Theorem Proving in Geometries (Part One Elementary Geometries,in Chinese),Beijing:Science Press,1984.
4[4]Wu W T.Some recent advance in mechanical-theorem proving of geometries.Automated Theorem Proving:After 25 years (Bledsoe W W,Loveland D W,eds.),Contemp Math,29(1984),Am Math Soc,Providence,235～242.
5[5]Wu W T.A general description of the SOLVER Package.Math Practice Theory,1986,2:32～39 (in Chinese).
6[6]Wu W T.Examples of applications of the SOLVER package.Math Practice Theory,1986,3:1～11 (in Chinese).
7[7]Wang D.An implementation of the characteristic set method in Maple.Pfalzgraf J,Wang D.(eds.):Automated Practical Reasoning:Algebraic Approaches.New York:Springer,1995,187～201.
8[8]Chou S C,Gao X S.Ritt-Wu's decomposition algorithm and geometry theorem proving.Stickel M E (ed.):Proceedings CADE-10,Kaiserslautern,July 24～ 27,1990.Berlin,Heidelberg:Springer,207 ～ 220[OLNCS 449].
9[9]Wang D K,Zhi L H.Software development in MMRC.Proc ATCM'95 (Singapore,December 18～21,1995),Singapore:Assoc of Math Educators,1995,234～ 243.
10[10]Li Z M.An implementation of the characteristic set mehtod for solving algebraic equations.Proc PoSSo Workshop (Paris,France,March 1～4,1995),107～122.
