GeoThms - Laboratório Virtual para a Geometria Euclidiana

Description:  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). Area(s): LOGIC AND COMPUTATION Date:  2007-03-28 Start Time:   14:00 Speaker:  Pedro Quaresma de Almeida Place:  Sala 5.4 See more:   <Main>