The complete works of Wu Wen-tsun:mechanical theorem proving in geometries: basic principles.Ⅱ,Mathematics mechanization