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

Año de publicación: 1995

Título del ejemplar: VIII CONGRESO ENCIGA

Año: 8

Número: 24

Páginas: 140-146

Tipo: Artículo

DIALNET GOOGLE SCHOLAR

Otras publicaciones en: Boletín das ciencias

Fuente de los datos: Dialnet