Cameron, Stephen; Yap, Chee-Keng Refinement methods for geometric bounds in constructive solid geometry. (English) Zbl 0742.68079 ACM Trans. Graph. 11, No. 1, 12-39 (1992). MSC: 68U05 Computer graphics; computational geometry (digital and algorithmic aspects) 68W30 Symbolic computation and algebraic computation 68Q25 Analysis of algorithms and problem complexity 68U07 Computer science aspects of computer-aided design Keywords:computations on discrete structures; geometrical problems and computations; simplification of expressions; hierarchy and geometric transformations; collision detection; interference detection; representation simplification; robotics; constructive solid geometry; solid modeling; Boolean algebras PDFBibTeX XMLCite \textit{S. Cameron} and \textit{C.-K. Yap}, ACM Trans. Graph. 11, No. 1, 12--39 (1992; Zbl 0742.68079) Full Text: DOI