From the geometric construction to the mechanical proof

  1. Eugenio Roanes Lozano
  2. Eugenio Roanes Macías
Libro:
Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002
  1. Giménez, Philippe (coord.)

Editorial: Universidad de Valladolid

Año de publicación: 2002

Páginas: 183-187

Congreso: Encuentro de Algebra Computacional y Aplicaciones (8. 2002. Peñaranda de Duero)

Tipo: Aportación congreso