|
|
|
|
|
|
|
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: |
|
| Start Time: |
14:00 |
|
Speaker: |
Pedro Quaresma de Almeida
|
|
Place: |
Sala 5.4
|
|
See more:
|
<Main>
|
|
| |
|
|
|
|
|
|
|
|
|
