@mastersthesis{mastersthesis26572280,
title   = {Computação rigorosa de variedades invariantes},
author = {Rivas, Bernardo Augusto do Prado and Gameiro, Márcio Fuzeto},
year = {2019},
doi = {10.11606/D.55.2019.tde-10062019-091028},
school = {Universidade de São Paulo}
}