Title: Reliable and efficient algorithms for adaptive quadrature