Lista de Tabelas

1. Um algoritmo para construção da mediatriz
2. Construção de uma função para o exemplo
3. Esquema para geração de respostas para o exemplo
4. Recursos de alguns dos programas de GD
5. Quantidade de publicações brasileiras relacionadas a EAD entre 1999-2003 (, )
6. Passos para codificação de algumas variáveis no iGeom
7. Definição da distância entre pares de construções
8. Pseudo-código do validador implementado no iGeom
9. Recursos de alguns dos programas de GD

Lista de Abreviaturas e Siglas

ATP	Automatic Theorem Proving
ACT	Atomic Component of Thought
CERN	European Center for Nuclear Research
EAD	Educação a Distância
GD	Geometria Dinâmica
HTML	Hypertext Markup Language
IME	Instituto de Matemática e Estatística
ITC	Instructional Technology Council
JVM	Java Virtual Machine
NCSA	National Center for Supercomputing Applications
PC	Personal Computer
POLI	Escola Politécnica
USP	Universidade de São Paulo
UFRJ	Universidade Federal do Rio de Janeiro
WWW	World Wide Web

[] []