Rigorous numerical integration of algebraic functions

Nils Bruin, Linden Disney-Hogg, Wuqian Effie Gao

We present an algorithm which uses Fujiwara's inequality to bound algebraic functions over ellipses of a certain type, allowing us to concretely implement a rigorous Gauss-Legendre…