{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T19:20:01Z","timestamp":1759778401796},"publisher-location":"Berlin\/Heidelberg","reference-count":75,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540102426"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0040158","type":"book-chapter","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T07:07:08Z","timestamp":1139209628000},"page":"1-78","source":"Crossref","is-referenced-by-count":9,"title":["Representations of rigid solid objects"],"prefix":"10.1007","author":[{"given":"Aristides A. G.","family":"Requicha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1109\/TC.1976.1674626","volume":"C-25","author":"G. J. Agin","year":"1976","unstructured":"G. J. Agin and T. O. Binford, \u201cComputer descriptions of curved objects\u201d, IEEE Trans. on Computers, C-25: 439 (1976).","journal-title":"IEEE Trans. on Computers"},{"key":"1_CR2","volume-title":"Algebraic Topology","author":"M. K. Agoston","year":"1976","unstructured":"M. K. Agoston, Algebraic Topology, Marcel Dekker, Inc., New York, 1976."},{"key":"1_CR3","volume-title":"The Design and Analysis of Computer Algorithms","author":"A. V. Aho","year":"1976","unstructured":"A. V. Aho, J. E. Hopcroft and J. D. Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley Publishing Co., Reading, Mass., 1976."},{"key":"1_CR4","unstructured":"\u201cDigital representation of physical object shapes\u201d, Proposed Standard ANSI Y14.26.1, American Society of Mechanical Engineers, New York (1978)."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"D. Arnon, \u201cA cellular decomposition algorithm for semi-algebraic sets\u201d, Tech. Report No. 353, Computer Science Dept., Univ. of Wisconsin (1979).","DOI":"10.1007\/3-540-09519-5_82"},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"1397","DOI":"10.1109\/PROC.1979.11475","volume":"67","author":"N. Badler","year":"1979","unstructured":"N. Badler, J. O'Rourke and H. Toltzis, \u201cA spherical representation of a human body for visualizing movement\u201d, Proc. IEEE, 67: 1397 (1979).","journal-title":"Proc. IEEE"},{"volume-title":"Computer Aided Geometric Design","year":"1974","key":"1_CR7","unstructured":"R. E. Barnhill and R. F. Riesenfeld, Eds., Computer Aided Geometric Design, Academic Press, New York, 1974."},{"key":"1_CR8","unstructured":"B. G. Baumgart, \u201cGeometric modelling for computer vision\u201d, Report STAN-CS-74-463, Stanford Artificial Intelligence Lab., Stanford Univ. (1974)."},{"key":"1_CR9","unstructured":"Y. J. Bernascon and J. M. Brun, \u201cAutomated aids for the design of mechanical parts\u201d, Tech. Paper MS75-508, Society of Manufacturing Engineers (1975)."},{"key":"1_CR10","volume-title":"Progress report on a model-based vision system","author":"T. O. Binford","year":"1979","unstructured":"T. O. Binford, R. A. Brooks and R. Greener, \u201cProgress report on a model-based vision system\u201d, Workshop on the Representation of Three-dimensional Objects, Univ. of Pennsylvania, Philadelphia, Pa. (1979)."},{"key":"1_CR11","first-page":"33","volume":"1","author":"O. Bjorke","year":"1972","unstructured":"O. Bjorke, \u201cTopological characteristics of product definitions\u201d, CIRP Journal\u2014Manufacturing Systems, 1: 33 (1972).","journal-title":"CIRP Journal\u2014Manufacturing Systems"},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/965139.807413","volume":"12","author":"H. J. Borkin","year":"1978","unstructured":"H. J. Borkin, J. F. McIntosh and J. A. Turner, \u201cThe development of three-dimensional spatial modeling techniques for the construction planning of nuclear power plants\u201d, Computer Graphics, 12: 341 (1978).","journal-title":"Computer Graphics"},{"key":"1_CR13","unstructured":"J. W. Boyse, \u201cPreliminary design for a geometric modeller\u201d, Research Publication GMR-2768, Computer Science Dept., General Motors Research Laboratories (1978)."},{"key":"1_CR14","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/359046.359048","volume":"22","author":"J. W. Boyse","year":"1979","unstructured":"J. W. Boyse, \u201cInterference detection among solids and surfaces\u201d, Communications of the ACM, 22: 3 (1979).","journal-title":"Communications of the ACM"},{"key":"1_CR15","unstructured":"J. W. Boyse, \u201cData structure for a solid modeller\u201d, Research Publication GMR-2933, Computer Science Dept., General Motors Research Laboratories (1979)."},{"key":"1_CR16","volume-title":"Ph.D. Dissertation","author":"I. C. Braid","year":"1973","unstructured":"I. C. Braid, \u201cDesigning with volumes\u201d, Ph.D. Dissertation, Univ. of Cambridge, U.K. (1973)."},{"key":"1_CR17","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1145\/360715.360727","volume":"18","author":"I. C. Braid","year":"1975","unstructured":"I. C. Braid, \u201cThe synthesis of solids bounded by many faces\u201d, Communications of the ACM, 18: 209 (1975).","journal-title":"Communications of the ACM"},{"key":"1_CR18","volume-title":"Proc. Geometric Modeling Project Mtg.","author":"I. C. Braid","year":"1978","unstructured":"I. C. Braid, \u201cNew directions in geometric modelling\u201d, Proc. Geometric Modeling Project Mtg., CAM-I, Inc., St. Louis, Mo. (1978)."},{"key":"1_CR19","volume-title":"Stepwise construction of polyhedra in geometric modelling","author":"I. C. Braid","year":"1978","unstructured":"I. C. Braid, R. C. Hillyard and I. A. Stroud, \u201cStepwise construction of polyhedra in geometric modelling\u201d, C. A. D. Group Document No. 100, University of Cambridge, U.K. (1978)."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"C. M. Brown, A. A. G. Requicha and H. B. Voelcker, \u201cGeometric modelling systems for mechanical design and manufacturing\u201d, Proc. 1978 Ann. Conf. ACM, Washington, D.C., p. 770 (1978).","DOI":"10.1145\/800178.810126"},{"key":"1_CR21","unstructured":"C. M. Brown and H. B. Voelcker, \u201cThe PADL-2 project\u201d, Proc. 7th NSF Conf. on Production Research and Technology, Ithaca, N.Y., p. F1 (1979)."},{"key":"1_CR22","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1145\/322139.322141","volume":"26","author":"J. Cohen","year":"1979","unstructured":"J. Cohen and T. Hickey, \u201cTwo algorithms for determining volumes of convex polyhedra\u201d, Journal of the ACM, 26: 401 (1979).","journal-title":"Journal of the ACM"},{"key":"1_CR23","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/358826.358838","volume":"23","author":"C. R. Dyer","year":"1980","unstructured":"C. R. Dyer, A. Rosenfeld and H. Samet, \u201cRegion representation: boundary codes from quadtrees\u201d, Communications of the ACM, 23: 171 (1980).","journal-title":"Communications of the ACM"},{"key":"1_CR24","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/965141.563863","volume":"11","author":"C. Eastman","year":"1977","unstructured":"C. Eastman and M. Henrion, \u201cGLIDE: a language for design information systems\u201d, Computer Graphics, 11: 24 (1977).","journal-title":"Computer Graphics"},{"key":"1_CR25","unstructured":"C. M. Eastman and K. Weiler, \u201cGeometric modelling using the Euler operators\u201d, Research Report No. 78, Institute of Physical Planning, Carnegie-Mellon Univ. (1979)."},{"key":"1_CR26","first-page":"459","volume-title":"International Computing Symposium","author":"M. E. Engeli","year":"1973","unstructured":"M. E. Engeli, \u201cA language for 3D graphics applications\u201d, in International Computing Symposium (A. Gunther et al., eds.), North-Holland, Amsterdam, 1973, p. 459."},{"key":"1_CR27","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1145\/359842.359846","volume":"20","author":"H. Fuchs","year":"1977","unstructured":"H. Fuchs, Z. M. Kedem, and S. P. Uselton, \u201cOptimal surface reconstruction from planar contours\u201d, Communications of the ACM, 20: 693 (1977).","journal-title":"Communications of the ACM"},{"key":"1_CR28","volume-title":"Interactive Computer Graphics","author":"W. K. Giloi","year":"1978","unstructured":"W. K. Giloi, Interactive Computer Graphics, Prentice Hall, Englewood Cliffs, N.J., 1978."},{"key":"1_CR29","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1177\/003754977101600104","volume":"16","author":"R. A. Goldstein","year":"1971","unstructured":"R. A. Goldstein and R. Nagel, \u201c3-D visual simulation\u201d, Simulation, 16: 25 (1971).","journal-title":"Simulation"},{"key":"1_CR30","unstructured":"R. Goldstein and L. Malin, \u201c3D modelling with the Synthavision system\u201d, Proc. 1st Ann. Conf. on Computer Graphics in CAD\/CAM Systems, Cambridge, Mass., p. 244 (1979)."},{"key":"1_CR31","doi-asserted-by":"crossref","first-page":"582","DOI":"10.1147\/rd.206.0582","volume":"20","author":"D. D. Grossman","year":"1976","unstructured":"D. D. Grossman, \u201cProcedural representation of three-dimensional objects\u201d, IBM J. Research and Development, 20: 582 (1976).","journal-title":"IBM J. Research and Development"},{"key":"1_CR32","volume-title":"A Combinatorial Introduction to Topology","author":"M. Henle","year":"1979","unstructured":"M. Henle, A Combinatorial Introduction to Topology, W. H. Freeman and Co., San Francisco, 1979."},{"key":"1_CR33","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1145\/965139.807415","volume":"12","author":"D. Herbison-Evans","year":"1978","unstructured":"D. Herbison-Evans, \u201cNUDES 2: A numeric utility displaying ellipsoid solids, version 2\u201d, Computer Graphics, 12: 354 (1978).","journal-title":"Computer Graphics"},{"key":"1_CR34","volume-title":"Ph.D. Dissertation","author":"R. C. Hillyard","year":"1978","unstructured":"R. C. Hillyard, \u201cDimensions and tolerances in shape design\u201d, Ph.D. Dissertation, Univ. of Cambridge, U.K. (1978)."},{"key":"1_CR35","unstructured":"J. K. Hinds and L. P. Kuan, \u201cSurfaces defined by curve transformations\u201d, Proc. 15th Ann. Mtg. NC Society, Chicago, Ill., p. 325 (1978)."},{"key":"1_CR36","volume-title":"Algebraic Geometry, ARCATA 1974, Proc. of Symposia in Pure Mathematics","author":"H. Hironaka","year":"1975","unstructured":"H. Hironaka, \u201cTriangulations of algebraic sets\u201d, in Algebraic Geometry, ARCATA 1974, Proc. of Symposia in Pure Mathematics, American Mathematical Society, Providence, R.I. (1975)."},{"key":"1_CR37","first-page":"768","volume-title":"Information Processing '74","author":"M. Hosaka","year":"1974","unstructured":"M. Hosaka, F. Kimura and N. Kakishita, \u201cA unified method for processing polyhedra\u201d, in Information Processing '74, North-Holland, Amsterdam, 1974, p. 768."},{"key":"1_CR38","first-page":"167","volume-title":"Information Processing '77","author":"M. Hosaka","year":"1977","unstructured":"M. Hosaka and F. Kimura, \u201cAn interactive geometrical design system with handwriting input\u201d, in Information Processing '77 (B. Gilchrist, ed.), North-Holland, Amsterdam, 1977, p. 167."},{"key":"1_CR39","unstructured":"W. A. Hunt and H. B. Voelcker, \u201cToward automatic verification of programs for numerically controlled machine tools\u201d, Tech. Memo. No. 34, Production Automation Project, Univ. of Rochester (1980)."},{"key":"1_CR40","volume-title":"APT Part Programming","author":"IIT Research Institute","year":"1967","unstructured":"IIT Research Institute, APT Part Programming, McGraw-Hill, New York, 1967."},{"key":"1_CR41","volume-title":"SHAPES User's Manual","author":"J. H. Laning","year":"1973","unstructured":"J. H. Laning, D. A. Lynde, and V. Moreggia, \u201cSHAPES User's Manual\u201d, Charles Stark Draper Lab., Cambridge, Mass. (1973)."},{"key":"1_CR42","unstructured":"J. H. Laning and S. J. Madden, \u201cCapabilities of the SHAPES system for computer aided mechanical design\u201d, Proc. 1st Ann. Conf. on Computer Graphics in CAD\/CAM Systems, Cambridge, Mass., p. 223 (1979)."},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"D. T. Lee and F. P. Preparata, \u201cLocation of a point in a planar subdivision and its applications\u201d, Proc. 8th ACM Symposium on the Theory of Computing, Hershey, Pa., p. 231 (1976).","DOI":"10.1145\/800113.803653"},{"key":"1_CR44","unstructured":"Y. T. Lee and A. A. G. Requicha, \u201cAlgorithms for computing the volume and other integral properties of solid objects\u201d, Tech. Memo. No. 35, Production Automation Project, Univ. of Rochester (1980)."},{"key":"1_CR45","volume-title":"The Geometry of Environment","author":"L. March","year":"1974","unstructured":"L. March and P. Steadman, The Geometry of Environment. M.I.T. Press, Cambridge, Mass., 1974."},{"key":"1_CR46","volume-title":"Research Report No. RC 8124","author":"G. Markowsky","year":"1980","unstructured":"G. Markowsky and M. A. Wesley, \u201cFleshing out wireframes\u201d, Research Report No. RC 8124, IBM Thomas J. Watson Research Center, Yorktown Heights, N.Y. (1980)."},{"key":"1_CR47","unstructured":"W. J. Mitchell and M. Oliverson, \u201cComputer representation of three-dimensional structures for CAEADS\u201d, Report CERL-TR-P-86, Construction Engineering Research Lab., U.S. Army Corps of Engineers (1978)."},{"key":"1_CR48","doi-asserted-by":"crossref","unstructured":"R. B. Morris and D. B. Welbourn, \u201cComputer graphics and numerically controlled machine tools for pattern, mould and die production\u201d, Proc. 16th Int. Machine Tool Design and Research Conf., Manchester, U.K., p. 137 (1975).","DOI":"10.1007\/978-1-349-81544-9_24"},{"key":"1_CR49","volume-title":"Principles of Interactive Computer Graphics","author":"W. M. Newman","year":"1979","unstructured":"W. M. Newman and R. F. Sproull, Principles of Interactive Computer Graphics, McGraw-Hill, New York, 1979."},{"key":"1_CR50","first-page":"141","volume-title":"Computer Languages for Numerical Control","author":"N. Okino","year":"1973","unstructured":"N. Okino, Y. Kakazu, and H. Kubo, \u201cTIPS-1: technical information processing system for computer-aided design, drawing and manufacturing\u201d, in Computer Languages for Numerical Control (J. Hatvany, ed.), North-Holland, Amsterdam, 1973, p. 141."},{"key":"1_CR51","volume-title":"TIPS-1","author":"N. Okino","year":"1978","unstructured":"N. Okino et al., \u201cTIPS-1\u201d, Institute of Precision Engineering, Hokkaido University, Sapporo, Japan (1978)."},{"key":"1_CR52","doi-asserted-by":"crossref","unstructured":"I. Oyake, \u201cParts representation in CAD\/CAM\u201d, Proc. of National Computer Conference, Anaheim, Cal., p. 801 (1975).","DOI":"10.1145\/1499949.1500129"},{"key":"1_CR53","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1145\/965141.563884","volume":"11","author":"R. E. Parent","year":"1977","unstructured":"R. E. Parent, \u201cA system for sculpting 3-D data\u201d, Computer Graphics, 11: 138 (1977).","journal-title":"Computer Graphics"},{"key":"1_CR54","unstructured":"R. J. Popplestone, C. M. Brown, A. P. Ambler and G. F. Crawford, \u201cForming models of plane-and-cylinder faceted bodies from light stripes\u201d, Proc. 4th Int. Joint Conf. on Artificial Intelligence, Tbilisi, Georgia, USSR, p. 664 (1975)."},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"K. Preiss, \u201cA procedure for checking the topological consistency of a 2-D or 3-D finite element mesh\u201d, Proc. 15th Design Automation Conf., San Diego, Cal., p. 200 (1979).","DOI":"10.1109\/DAC.1979.1600108"},{"key":"1_CR56","unstructured":"D. R. Reddy and S. Rubin, \u201cRepresentation of three-dimensional objects\u201d, Report CMU-CS-78-113, Computer Science Dept., Carnegie-Mellon Univ. (1978)."},{"key":"1_CR57","unstructured":"A. A. G. Requicha, \u201cPart & assembly description languages I: Dimensioning & tolerancing\u201d, Tech. Memo. No. 19, Production Automation Project, Univ. of Rochester (1977)."},{"key":"1_CR58","unstructured":"A. A. G. Requicha, \u201cMathematical models of rigid solid objects\u201d, Tech. Memo. No. 28, Production Automation Project, Univ. of Rochester (1977)."},{"key":"1_CR59","unstructured":"A. A. G. Requicha and H. B. Voelcker, \u201cConstructive solid geometry\u201d, Tech. Memo. No. 25, Production Automation Project, Univ. of Rochester (1977)."},{"key":"1_CR60","unstructured":"A. A. G. Requicha and R. B. Tilove, \u201cMathematical foundations of constructive solid geometry: General topology of regular closed sets\u201d, Tech. Memo. No. 27, Production Automation Project, Univ. of Rochester (1978)."},{"key":"1_CR61","volume-title":"Report KFK-2305","author":"R. Schuster","year":"1976","unstructured":"R. Schuster, \u201cSystem und Sprache zur Behandlung graphischer Information im rechnergestutzten Entwurf\u201d, Report KFK-2305, Kernforschungszentrum, Karlsruhe, W. Germany (1976)."},{"key":"1_CR62","unstructured":"H. Seifert, N. Bargele, and B. Fritsche, \u201cDifferent ways to design three-dimensional representations of engineering parts with PROREN2\u201d, Proc. Conf. Interactive Techniques in Computer Aided Design, Bologna, Italy, p. 335 (1978)."},{"key":"1_CR63","unstructured":"M. I. Shamos, \u201cComputational geometry\u201d, Ph.D. Dissertation, Yale Univ. (1978)."},{"key":"1_CR64","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1016\/0146-664X(74)90025-2","volume":"3","author":"R. Shapira","year":"1974","unstructured":"R. Shapira, \u201cA technique for the reconstruction of a straight-edge, wire-frame object from two or more central projections\u201d, Computer Graphics and Image Processing, 3: 318 (1974).","journal-title":"Computer Graphics and Image Processing"},{"key":"1_CR65","doi-asserted-by":"crossref","unstructured":"G. Spur and J. Gausemeier, \u201cProcessing of workpiece information for producing engineering drawings\u201d, Proc. 16th Int. Machine Tool Design and Research Conference, Manchester, U.K., p. 17 (1975).","DOI":"10.1007\/978-1-349-81544-9_5"},{"key":"1_CR66","volume-title":"Proc. Geometric Modeling Project Mtg.","author":"G. Spur","year":"1978","unstructured":"G. Spur, \u201cStatus and further development of the geometric modelling system COMPAC\u201d, Proc. Geometric Modeling Project Mtg., CAM-I, Inc., St. Louis, Mo. (1978)."},{"key":"1_CR67","doi-asserted-by":"crossref","unstructured":"R. B. Tilove, \u201cSet membership classification: A unified approach to geometric intersection problems\u201d, IEEE Trans. on Computers, C-29 (1980).","DOI":"10.1109\/TC.1980.1675470"},{"key":"1_CR68","unstructured":"H. B. Voelcker et al., \u201cDiscrete part manufacturing: Theory & practice\u201d, Part I of Tech. Report No. 1, Production Automation Project, Univ. of Rochester (1974)."},{"key":"1_CR69","unstructured":"H. B. Voelcker et al., \u201cAn introduction to PADL: Characteristics, status, and rationale\u201d, Tech. Memo. No. 22, Production Automation Project, Univ. of Rochester (1974)."},{"key":"1_CR70","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/C-M.1977.217601","volume":"10","author":"H. B. Voelcker","year":"1977","unstructured":"H. B. Voelcker and A. A. G. Requicha, \u201cGeometric modelling of mechanical parts and processes\u201d, Computer, 10: 48 (1977).","journal-title":"Computer"},{"key":"1_CR71","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1145\/965139.807400","volume":"12","author":"H. B. Voelcker","year":"1978","unstructured":"H. B. Voelcker et al., \u201cThe PADL-1.0\/2 system for defining and displaying solid objects\u201d, Computer Graphics, 12: 257 (1978).","journal-title":"Computer Graphics"},{"key":"1_CR72","unstructured":"H. B. Voelcker et al., \u201cBoundary evaluation procedures for objects defined via constructive solid geometry\u201d, Tech. Memo. No. 26, Production Automation Project, Univ. of Rochester (1980)."},{"key":"1_CR73","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1147\/rd.241.0064","volume":"24","author":"M. A. Wesley","year":"1980","unstructured":"M. A. Wesley, T. Lozano-Perez, L. I. Lieberman, M. A. Lavin, and D. D. Grossman, \u201cA geometric modelling system for automated mechanical assembly\u201d, IBM J. Research and Development, 24: 64 (1980).","journal-title":"IBM J. Research and Development"},{"key":"1_CR74","unstructured":"T. C. Woo and R. F. Poshadlo, \u201cA feature oriented design modification system\u201d, Proc. 1st Ann. Conf. on Computer Graphics in CAD\/CAM Systems, Cambridge, Mass. (1979)."},{"key":"1_CR75","doi-asserted-by":"crossref","unstructured":"C. I. Yessios, \u201cA notation and system for 3-D constructions\u201d, Proc. 15th Design Automation Conf., Las Vegas, Nev., p. 125 (1978).","DOI":"10.1109\/DAC.1978.1585158"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Design Modelling, Systems Engineering, CAD-Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0040158.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T07:20:41Z","timestamp":1683357641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0040158"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540102426"],"references-count":75,"URL":"https:\/\/doi.org\/10.1007\/bfb0040158","relation":{},"subject":[]}}