Resumen de Sobre demostración automática de un teorema geométrico

Francisco Javier Blanco Silva

• A Classic Geometry problem involving properties of secant circles is solved by using pseudodivision and Mechanical Proving. The steps followed in this solution differ from the steps taken in the solution stated in chou’s book and the method used here offers a better understanding of the “degenerate cases” and a less complex manipulation of polynomials.