Sobre demostración automática de un teorema geométrico
-
Francisco Javier Blanco Silva [1]
-
[1] University of Purdue
-
- Localización: Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 53, 1999 (Ejemplar dedicado a: Comunicaciones de la sesión en español del congreso IMACS-ACA'99), págs. 78-81
- Idioma: español
- Texto completo no disponible (Saber más ...)
-
Resumen
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.
¿Es nuevo? Regístrese
Ventajas de registrarse
