@mastersthesis{mastersthesisa4093a46,
title   = {Exact multiplicity of solutions of differential equations via computer-assisted methods.},
author = {Prado, Mário César Monteiro do and Gameiro, Márcio Fuzeto},
year = {2019},
school = {Universidade de São Paulo}
}