Navegando por Assunto Automatic theorem proving
Mostrando resultados 7 a 9 de 9
< Anterior
| Câmpus | Programa/Curso | Data do documento | Título | Autor(es) |
|---|---|---|---|---|
| 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 |