1: \begin{abstract}

2: We present an implementation of arbitrary-precision numerical integration

3: with rigorous error bounds in the Arb library.

4: Rapid convergence is ensured for piecewise complex analytic integrals

5: by use of the Petras algorithm, which combines

6: adaptive bisection with adaptive

7: Gaussian quadrature where error bounds are determined via

8: complex magnitudes without evaluating derivatives.

9: The code is general, easy to use, and efficient,

10: often outperforming existing non-rigorous software.

11: 

12: \keywords{Numerical integration, interval arithmetic, special functions}

13: \end{abstract}

14: