×

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
PDFBibTeX XMLCite
Full Text: DOI