First steps on using openMath to add proving capabilities to standard dynamic geometry systems
- Abánades, M.A.
- Escribano, J.
- Botana, F.
ISSN: 0302-9743, 1611-3349
ISBN: 9783540730835
Año de publicación: 2007
Volumen: 4573 LNAI
Páginas: 131-145
Tipo: Aportación congreso