Pedro Quaresma de Almeida DM, UC GeoThms - Laboratório Virtual para a Geometria Euclidiana 28 de Março de 2007 quarta-feira 14h Sala 5.4 Nesta palestra faz-se a apresentação da plataforma GeoThms a qual pretende ser um laboratório virtual para a aprendizagem/experimentação da Geometria Euclidiana. A plataforma GeoThms estabelece a ponte entre uma base de dados de problemas, e os programas de visualização dos mesmos (DGSs), assim como entre estes e os programas de demonstração/verificação automática de teoremas (ATPs e CASs).