From the geometric construction to the mechanical proof

• Autores: Eugenio Roanes Lozano , Eugenio Roanes Macías
• Localización: Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002 / coord. por Philippe Giménez , 2002, págs. 183-187
• Idioma: inglés
• Texto completo no disponible (Saber más ...)