Cazals, Frederic; Kanhere, Harshad; Loriot, Sébastien Computing the volume of a union of balls: a certified algorithm. (English) Zbl 1365.65039 ACM Trans. Math. Softw. 38, No. 1, Article No. 3, 20 p. (2011). Cited in 6 Documents MSC: 65D18 Numerical aspects of computer graphics, image analysis, and computational geometry 65G20 Algorithms with automatic result verification 65G30 Interval and finite arithmetic 92-04 Software, source code, etc. for problems pertaining to biology Keywords:C++ design; computational geometry; Van der Waals models; certified numerics; interval arithmetic; macro-molecular models; medial axis transform; protein modeling; structural biology; union of balls; volume calculation; \(\alpha\)-shapes Software:CGAL; Qsplat; CRlibm; McVol; Voronoia PDFBibTeX XMLCite \textit{F. Cazals} et al., ACM Trans. Math. Softw. 38, No. 1, Article No. 3, 20 p. (2011; Zbl 1365.65039) Full Text: DOI