El objetivo de la ponencia es comentar la situacion actual y las perspectivas de la demostracion de teoremas geométricos ante los programas informáticos de geometría dinámica y los avances de la demostración automática. La mecánica de la demostración es, en buena medida, la mecánica del pensamiento plausible, de las técnicas mentales para...