TY - JOUR AU - Ueno Jacue, Carlos PY - 2016 SN - 1887-1984 UR - http://sinewton.es/revista_numeros/093/ UR - https://hdl.handle.net/11162/226240 AB - Se describen algunos fundamentos sobre los que se basa la capacidad que tienen muchos programas actuales de software matematico para demostrar enunciados geometricos, y se explica como hacer uso de este recurso en las ultimas versiones de GeoGebra. LA - spa KW - geometria KW - uso didactico del ordenador KW - matematicas KW - objetos de demostracion KW - nuevas tecnologias KW - GeoGebra TI - Demostraciones geometricas automaticas en GeoGebra ER -