D'atra man, a tamas de l'alto grado de intervención humana necesario ta fer una demostración, tamién existen tecnicas computacionals que premiten fer demostracions automaticas, notablement en o campo d'a cheometría euclidiana.