Proba automática de teoremas en xeometría elemental con Mathemática
- Luciano González Férnandez 1
- Francisco Botana Ferreiro 1
- 1 Universidade de Vigo. Departamento de Matemática Aplicada
ISSN: 0214-7807
Argitalpen urtea: 1995
Zenbakien izenburua: VIII CONGRESO ENCIGA
Urtea: 8
Zenbakia: 24
Orrialdeak: 140-146
Mota: Artikulua