Although trimmed surfaces play a fundamental role in the deviation and processing of solid boundary representations, they have received little attention to date. We propose a trimmed-surface formulation appropriate to the Boolean combination of primitive bounded by a family of elementary surface patches (e. g. , planes, quadrics, ruled surfaces, surfaces of revolution) with dual parametric rational polynomial and implicity algebraic equations. Partial intersections beween pairs of primitive surface patches are formulated precisely as algebraic curves in the parameter space of ech patch. These curves are dissected into monotonic branches by the identification of a characteristic point set. The consolidation of all partial intersections yields a system of piecewise-algebraic loops which define a trimming boundary enclosing a parametric domain for the trimmed patch. With few exceptions, the trimmed-surface formulation is based on precisely defined mathematical procedures, in order to achieve maximum robustness. Some basic interrogation algorithms for solids bounded by trimmed-surface elements are also presented.