O Algoritmo de Validação Automática no iGeom

Resumidamente, os objetivos do validador automático de exercícios são:

1. Detectar quaisquer solução correta, mesmo aquelas que utilizam técnicas diferentes das imaginadas pelo professor;
   
2. Apresentar de imediato o resultado da validação;
   
3. Fornecer um ``contra-exemplo'' se a resposta do aluno estiver errada.