Las expansiones de wavelet son una herramienta poderosa para construir aproximaciones adaptativas. Por esta razón, encuentran aplicaciones en una variedad de campos, desde el procesamiento de señales hasta la teoría de aproximación. Los wavelets suelen derivarse de funciones refinables, que son la solución de una ecuación funcional recursiva llamada ecuación de refinamiento. La expresión analítica de las funciones refinables solo se conoce en algunos casos, por lo que si necesitamos evaluar funciones refinables solo podemos hacer uso de la ecuación de refinamiento. Esto también es cierto para la evaluación de sus derivadas e integrales. En este documento, detallamos un procedimiento para calcular integrales de productos de wavelet exactamente, hasta la precisión de la máquina. La evaluación eficiente y precisa de estas integrales es particularmente necesaria para el cálculo de los coeficientes de conexión en el método de Galerkin de wavelet. Mostramos la efectividad del procedimiento al evaluar las integrales de pseudo-splines.