{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:11:28Z","timestamp":1725455488869},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540167838"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0016238","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:39:17Z","timestamp":1131860357000},"page":"128-139","source":"Crossref","is-referenced-by-count":0,"title":["The promise of electronic prototyping"],"prefix":"10.1007","author":[{"given":"John","family":"Hopcroft","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"The Design and Analysis of Computer Algorithms","author":"A.V. Aho","year":"1974","unstructured":"Aho, A.V., Hopcroft, J. and Ullman, J.D. The Design and Analysis of Computer Algorithms Addison-Wesley, Reading, Mass., 1974."},{"key":"9_CR2","first-page":"27","volume":"2","author":"J.W. Boyce","year":"1982","unstructured":"Boyce, J.W. and Gilchrist, J.E. GMSolid: Interactive modeling for design and analysis of solids. IEEE Computer Graphics and Applications 2, 1982, 27\u201340.","journal-title":"IEEE Computer Graphics and Applications"},{"key":"9_CR3","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/0010-4485(84)90163-5","volume":"16","author":"C.M. Eastman","year":"1984","unstructured":"Eastman, C.M., Preiss, K. A review of solid shape modelling based on integrity verification. Computer Aided Design 16, 1984, 66\u201380.","journal-title":"Computer Aided Design"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/BF01898351","volume":"1","author":"C. Hoffmann","year":"1985","unstructured":"Hoffmann, C. and Hopcroft, J. Automatic surface generation in computer aided design. The Visual Computer 1, Springer-Verlag 1985, 92\u2013100.","journal-title":"The Visual Computer"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Hoffmann, C. and Hopcroft, J. Quadratic Blending Surfaces, The Journal of Computer Aided Design, to appear.","DOI":"10.1016\/0010-4485(86)90091-6"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Hopcroft, J. The impact of robotics on computer science, CACM 29:6, June 1986, to appear.","DOI":"10.1145\/5948.5949"},{"key":"9_CR7","unstructured":"Hopcroft, J., and Krafft, D. The challenge of robotics for computer science, Advances in Robotics, Vol. 1: Algorithmic and Geometric Aspects of Robotics. Lawrence Erlbaum Associates, Inc. Publishers. To appear."},{"key":"9_CR8","unstructured":"Hopcroft, J., and Wilfong, G. On the motion of objects in contact. International Journal of Robotics Research, The Second International Symposium, MIT Press, 1985, 429\u2013438."},{"key":"9_CR9","unstructured":"Hopcroft, J., and Wilfong, G. Reducing multiple object motion planning to graph searching. SIAM Journal of Computing, to appear. Ithaca, NY, July, 1984."},{"issue":"10","key":"9_CR10","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/359156.359164","volume":"22","author":"T. Lozano-Perez","year":"1979","unstructured":"Lozano-Perez, T., and Wesley, M. An algorithm for planning collision-free paths among polyhedral obstacles. CACM 22:10 October 1979, 560\u2013570.","journal-title":"CACM"},{"key":"9_CR11","volume-title":"Algebraic Topology: An Introduction","author":"W.S. Massey","year":"1967","unstructured":"Massey, W.S., Algebraic Topology: An Introduction. Springer-Verlag, New York, 1967."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Requicha, A.A.G., Voelcker, H.B. Solid modeling: a historical summary and contemporary assessment. IEEE Computer Graphics and Applications. 1982, 9\u201324.","DOI":"10.1109\/MCG.1982.1674149"},{"key":"9_CR13","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1016\/0196-8858(83)90014-3","volume":"4","author":"J.T. Schwartz","year":"1983","unstructured":"Schwartz, J.T., and Sharir, M. On the piano movers' problem: II. General techniques for computing topological properties of real algebraic manifolds. Advances in Appl. Math. 4, 1983, 298\u2013351.","journal-title":"Advances in Appl. Math."},{"key":"9_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6323-4","volume-title":"Algebraic Curves","author":"R.J. Walker","year":"1978","unstructured":"Walker, R.J., Algebraic Curves. Springer-Verlag, New York, 1978."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1986"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0016238.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:35:32Z","timestamp":1607549732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0016238"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540167838"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0016238","relation":{},"subject":[]}}