Publicacións nas que colabora con Luciano González Fernández (1)

1995

  1. Proba automática de teoremas en xeometría elemental con Mathemática

    Boletín das ciencias, Año 8, Núm. 24, pp. 140-146