2Wang D M.Proving-by-examples method and inclusion of varieties[J].Kexue Tongbao,1988,33:1121-1123.(extended Chinese version in J.Syst.Sci.Math.Sci.9:40-46.)
3Zhang J Z,Yang L.Parallel numerical method in mechanical theorem proving[J].Theor.Comput.Sci.,1990,74:253-271.
4Hou X R.Proving by examples[A].Wang D M,Gao X S.Mathematics Mechanization and Application[C].London:Academic Press,2000,231-251.
