A framework for rigorous computational methods using Haar wavelets for differential equations

Guilherme Nakassima, Marcio Gameiro

This work presents a framework for a-posteriori error-estimating algorithms for differential equations which combines the radii polynomial approach with Haar wavelets. By using Haa…