Computing the volume of a union of balls: A certified algorithm. - Frédéric Cazals; Harshad Kanhere; Sébastien Loriot (ACM Trans. Math. Softw., 2011)