Navegando por Assunto Automatic theorem proving
Mostrando resultados 1 a 9 de 9
| Câmpus | Programa/Curso | Data do documento | Título | Autor(es) |
|---|---|---|---|---|
| Curitiba | Mestrado Profissional em Matemática em Rede Nacional | 12-Jul-2013 | Contando as simetrias rotacionais dos poliedros regulares | Monteiro, Guilherme Elias Egg |
| Curitiba | Mestrado Profissional em Matemática em Rede Nacional | 21-Ago-2015 | O ensino de geometria projetiva na educação básica: uma proposta para apreensão do conhecimento do mundo tridimensional | Schmidt, Elvis |
| Curitiba | Mestrado Profissional em Matemática em Rede Nacional | 12-Dez-2014 | Números primos: os átomos dos números | Rigoti, Marcio Dominicali |
| Curitiba | Programa de Pós-Graduação em Computação Aplicada | 13-Fev-2012 | Otimização por nuvem de partículas aplicada ao problema de atribuição de tarefas dinâmico | Pierobom, Jean Lima |
| Curitiba | Programa de Pós-Graduação em Matemática em Rede Nacional | 7-Fev-2018 | Polígonos e poliedros equidecomponíveis | Fernandes, Flavia Mescko |
| Curitiba | Programa de Pós-Graduação em Matemática em Rede Nacional | 25-Out-2018 | Quadriláteros inscritíveis e os teoremas de Simson-Wallace e de Steiner-Lehmus | Lago, Rodrigo Cesar |
| Curitiba | Mestrado Profissional em Matemática em Rede Nacional | 6-Mar-2014 | Teorema de Tales: análise de sua apresentação nos livros didáticos e proposição de atividades | Pereira, Adão Regis |
| Curitiba | Mestrado Profissional em Matemática em Rede Nacional | 5-Abr-2013 | Os teoremas de pappus para os sólidos de revolução | Rautenberg, Robson Raulino |
| Curitiba | Mestrado Profissional em Matemática em Rede Nacional | 7-Mar-2014 | Os teoremas de Stewart e de Heron e o cálculo da área de um triângulo em função dos lados | Oliveira, Carlos Alberto Maziozeki de |