Wu's method and its application to perspective viewing (Q1115642)

Wu developed a method to prove automatically geometric theorems. Hundreds of, - at times non trivial, - theorems in plane geometry have been proven, by using certain implementations of the method. It rests upon an algebraic approach, namely the translation of both hypotheses and conjectures into polynomial equations. The authors describe the method and give as applications proving properties of perspective viewing, relevant to image understanding, and handling nonlinear inequalities.