Skip navigation

Navegando por Assunto Demonstração automática de teoremas

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:  
Mostrando resultados 1 a 2 de 2
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
14-Mar-200814-Mar-2008Problemas superlineares e não quadráticos no infinito via Teorema do Passo da MontanhaSantos, César Klayson Soares dosFurtado, Marcelo Fernandes-
2-Ago-201613-Mai-2016Teorema de Pitágoras : história, demonstrações e aplicaçõesAraujo, Anesio Amancio deMatos, Helder de Carvalho-