1
Assuntos:
“...Computer assisted proof...”
Demonstrações assistidas por computador para equações diferenciais ordinárias
Dissertação