Demostración automática de un teorema sobre tres circunferencias concurrentes
Revista:
Boletín de la Sociedad Puig Adam de profesores de matemáticas
ISSN: 1135-0261
Año de publicación: 1993
Número: 34
Páginas: 55-70
Tipo: Artículo