Demostración asistida por ordenador
ISSN: 1138-8927
Année de publication: 2012
Volumen: 15
Número: 1
Pages: 75-104
Type: Article
Revue:
Gaceta de la Real Sociedad Matematica Española