TY - RPRT TI - A framework for rigorous computational methods using Haar wavelets for differential equations AU - Guilherme Nakassima AU - Marcio Gameiro PY - 2023 UR - https://arxiv.org/abs/2304.14536 ID - 2304.14536 ER -