Resumen de Demostraciones geométricas automáticas en GeoGebra
- español
En este artículo describimos algunos fundamentos sobre los que se basa la capacidad que tienen muchos programas actuales de software matemático para demostrar enunciados geométricos, y explicamos cómo hacer uso de este recurso en las últimas versiones de GeoGebra
- English
In this article we describe some basic facts concerning the ability that many mathematical software packages currently have to prove automatically geometric statements. We also explain how to use this feature in the new versions of GeoGebra.
