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

  1. Luciano González Férnandez 1
  2. Francisco Botana Ferreiro 1
  1. 1 Universidade de Vigo. Departamento de Matemática Aplicada
Revista:
Boletín das ciencias

ISSN: 0214-7807

Any de publicació: 1995

Títol de l'exemplar: VIII CONGRESO ENCIGA

Any: 8

Número: 24

Pàgines: 140-146

Tipus: Article

DIALNET GOOGLE SCHOLAR

Altres publicacions en: Boletín das ciencias

Fuente de los datos: Dialnet