For many years it was generally considered that the proofs given by the coordinate method of mechanical geometry theorem proving represented by Wu’s method were unreadable or not a humanoid solution in the Turing sense. In fact, as long as a few improvements are made to Wu’s algorithm, i.e., expressing the conclusion polynomial as a linear combination of rational fraction coefficients of all condition polynomials, the self-evident identity proof can be obtained which is not dependent on the theory, algorithm of Wu’s method and a large number...
