×

zbMATH — the first resource for mathematics

Computing the volume of a union of balls: a certified algorithm. (English) Zbl 1365.65039

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
PDF BibTeX XML Cite
Full Text: DOI