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

• Luciano González Férnandez ^[1] ; Francisco Botana Ferreiro ^[1]
  1. [1] Universidade de Vigo

     Universidade de Vigo

     Vigo, España

     
• Localización: Boletín das ciencias, ISSN 0214-7807, Ano 8, Nº. 24 (NOVEMBRO), 1995 (Ejemplar dedicado a: VIII CONGRESO ENCIGA), págs. 140-146
• Idioma: gallego
• Texto completo no disponible (Saber más ...)