Detection of cavities in a set of interpenetrating spheres

A general topological procedure is described that is able to detect cavities of all shapes and sizes in a system of interpenetrating spheres. The procedure is coupled to an analytic algorithm for computing surface areas and volumes, but as such, involves only logical operations and is therefore not subject to numerical imprecision. Its application to the identification of internal cavities in molecular systems is illustrated.