1
Assuntos:
“...Automatic theorem proving...”
Os teoremas de pappus para os sólidos de revolução
Dissertação
2
Assuntos:
“...[en] THEOREM PROVING...”
[pt] INFRAESTRUTURA PARA PROVADORES INTERATIVOS DE TEOREMAS NA WEB
Tese
3
Assuntos:
“...Theorem Proving...”
Proposta de táticas para prova de teoremas de gramática de grafos.
Dissertação
4
5
Assuntos:
“...Automatic theorem proving...”
Os teoremas de Stewart e de Heron e o cálculo da área de um triângulo em função dos lados
Dissertação
6
Assuntos:
“...Automatic theorem proving...”
Teorema de Tales: análise de sua apresentação nos livros didáticos e proposição de atividades
Dissertação
7
Assuntos:
“...Theorem proving...”
Contribuições para verificação automática de applets javacard
Dissertação
8
9
Assuntos:
“...Automatic theorem proving...”
Otimização por nuvem de partículas aplicada ao problema de atribuição de tarefas dinâmico
Dissertação
10
Assuntos:
“...Automatic theorem proving...”
Contando as simetrias rotacionais dos poliedros regulares
Dissertação
11
Assuntos:
“...Automatic theorem proving...”
O ensino de geometria projetiva na educação básica: uma proposta para apreensão do conhecimento do mundo tridimensional
Dissertação
12
Assuntos:
“...Automatic theorem proving...”
Quadriláteros inscritíveis e os teoremas de Simson-Wallace e de Steiner-Lehmus
Dissertação