Skip navigation

Browsing by Subject Demonstração automática de teoremas

Jump to: 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
or enter first few letters:  
Showing results 1 to 2 of 2
Date de publicationData de defesaTitreAuteur(s)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-aoû-201613-mai-2016Teorema de Pitágoras : história, demonstrações e aplicaçõesAraujo, Anesio Amancio deMatos, Helder de Carvalho-