Demonstrações na algibeira : polinômios como um método universal de prova - Matulovic, Mariana, 1980- (2013)
Orientador: Walter Alexandre Carnielli