{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:26:47Z","timestamp":1761964007470,"version":"3.30.1"},"reference-count":33,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4034,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2002,7]]},"DOI":"10.1016\/s0304-3975(01)00091-3","type":"journal-article","created":{"date-parts":[[2002,10,9]],"date-time":"2002-10-09T19:39:34Z","timestamp":1034192374000},"page":"319-345","source":"Crossref","is-referenced-by-count":25,"title":["Foundation of a computable solid modelling"],"prefix":"10.1016","volume":"284","author":[{"given":"Abbas","family":"Edalat","sequence":"first","affiliation":[]},{"given":"Andr\u00e9","family":"Lieutier","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(01)00091-3_BIB1","series-title":"Handbook of Logic in Computer Science, Vol. 3","article-title":"Domain theory","author":"Abramsky","year":"1994"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB2","doi-asserted-by":"crossref","unstructured":"R.M. Amadio, P.-L. Curien, Domains and Lambda-Calculi, Cambridge Tracts in Theoretical Computer Science, 1998.","DOI":"10.1017\/CBO9780511983504"},{"issue":"4","key":"10.1016\/S0304-3975(01)00091-3_BIB3","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0010-4485(95)91141-7","article-title":"Toward a topology for computational geometry","volume":"27","author":"Barker","year":"1995","journal-title":"Comput. Aided Design"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB4","unstructured":"A. Bauer, L. Birkedal, D.S. Scott, Equilogical spaces. URL: http:\/\/www.cs.cmu.edu\/Groups\/LTC\/, preprint submitted to Elsevier, 1998."},{"key":"10.1016\/S0304-3975(01)00091-3_BIB5","doi-asserted-by":"crossref","unstructured":"L. Birkedal, A. Carboni, G. Rosolini, D.S. Scott, Type theory via exact categories (extended abstract), in: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science LICS \u201998, IEEE Computer Society Press, Silver Spring, MD, 1998, pp. 188\u2013198.","DOI":"10.1109\/LICS.1998.705655"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB6","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0304-3975(98)00284-9","article-title":"Computability on subsets of Euclidean space I: Closed and compact subsets","volume":"219","author":"Brattka","year":"1999","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00091-3_BIB7","doi-asserted-by":"crossref","unstructured":"H. Desaulniers, N. Stewart, Robustness of numerical methods in geometric computation when problem data is uncertain, Comput. Aided Design, special issue on uncertainties in geometrical design, 1993.","DOI":"10.1016\/0010-4485(93)90070-5"},{"year":"1966","series-title":"Topology","author":"Dugundji","key":"10.1016\/S0304-3975(01)00091-3_BIB8"},{"issue":"1","key":"10.1016\/S0304-3975(01)00091-3_BIB9","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1006\/inco.1995.1096","article-title":"Dynamical systems, measures and fractals via domain theory","volume":"120","author":"Edalat","year":"1995","journal-title":"Inform. Comput."},{"issue":"4","key":"10.1016\/S0304-3975(01)00091-3_BIB10","doi-asserted-by":"crossref","first-page":"401","DOI":"10.2307\/421098","article-title":"Domains for computation in mathematics, physics and exact real arithmetic","volume":"3","author":"Edalat","year":"1997","journal-title":"Bull. Symbolic Logic"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB11","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/S0304-3975(98)00288-6","article-title":"Computable Banach spaces via domain theory","volume":"219","author":"Edalat","year":"1999","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00091-3_BIB12","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/S0304-3975(98)00097-8","article-title":"A domain theoretic approach to computability on the real line","volume":"210","author":"Edalat","year":"1999","journal-title":"Theoret. Comput. Sci."},{"year":"1980","series-title":"A Compendium of Continuous Lattices","author":"Gierz","key":"10.1016\/S0304-3975(01)00091-3_BIB13"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB14","doi-asserted-by":"crossref","unstructured":"L.J. Guibas, D. Salesin, J. Stolfi, Epsilon geometry: building robust algorithms from imprecise computations, ACM Symposium on Computational Geometry, 1989, pp. 208\u2013217.","DOI":"10.1145\/73833.73857"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB15","doi-asserted-by":"crossref","unstructured":"C. Hu, Towards Robust Interval Solid Modeling of Curved Objects. Ph.D. Thesis, MIT, May 1995.","DOI":"10.14711\/thesis-b488194"},{"issue":"6\u20137","key":"10.1016\/S0304-3975(01)00091-3_BIB16","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1016\/0010-4485(95)00063-1","article-title":"Robust interval algorithm for curve intersections","volume":"28","author":"Hu","year":"1996","journal-title":"Comput. Aided Design"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB17","doi-asserted-by":"crossref","unstructured":"D.J. Jackson, Boundary representation modelling with local tolerances, ACM Conference on Solid Modelling, 1995.","DOI":"10.1145\/218013.218067"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB18","series-title":"Eleventh Annual IEEE Conference on Computational Complexity","first-page":"150","article-title":"On the measure of two-dimensional regions with polynomial-time computable boundaries","author":"Ko","year":"1996"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB19","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(85)90208-7","article-title":"Theory of representations","volume":"38","author":"Kreitz","year":"1985","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00091-3_BIB20","unstructured":"A. Lieutier, Repr\u00e9sentation b.rep et calculabilit\u00e9, LMC, IMAG, Universit\u00e9 Joseph Fourrier, BP 53X 38041 Grenoble Cedex, France, 1997, Journ\u00e9es modeleurs g\u00e9om\u00e9triques."},{"key":"10.1016\/S0304-3975(01)00091-3_BIB21","doi-asserted-by":"crossref","unstructured":"T.J. Peters, D.R. Ferguson, N.F. Stewart, P.S. Fussell, Algorithmic tolerances and semantics in data exchange, ACM Annual Symposium on Computational Geometry, 1997.","DOI":"10.1145\/262839.263027"},{"year":"1988","series-title":"Computability in analysis and physics","author":"Pour-El","key":"10.1016\/S0304-3975(01)00091-3_BIB22"},{"year":"1985","series-title":"Computational Geometry: An Introduction","author":"Preparata","key":"10.1016\/S0304-3975(01)00091-3_BIB23"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB24","unstructured":"A. Requicha, R. Tilove, Mathematical foundations of constructive solid geometry: general topology of closed regular sets, in: Automata, Languages and Programming, Production Automation Project, March 78, University of Rochester, Rochester, New York, 1978."},{"issue":"4","key":"10.1016\/S0304-3975(01)00091-3_BIB25","doi-asserted-by":"crossref","DOI":"10.1145\/356827.356833","article-title":"Representation for rigid solids: theory, methods, and systems","volume":"12","author":"Requicha","year":"1980","journal-title":"Comput. Surveys"},{"issue":"1","key":"10.1016\/S0304-3975(01)00091-3_BIB26","doi-asserted-by":"crossref","DOI":"10.1109\/PROC.1985.13108","article-title":"Boolean operations in solid modeling: boundary evaluation and merging algorithms","volume":"73","author":"Requicha","year":"1985","journal-title":"Proc. IEEE"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB27","unstructured":"D.S. Scott, A new category? Domains, spaces, and equivalence relations. URL: http:\/\/www.cs.cmu.edu\/Groups\/LTC\/, 1996."},{"key":"10.1016\/S0304-3975(01)00091-3_BIB28","doi-asserted-by":"crossref","DOI":"10.1145\/97880.97891","article-title":"Using tolerances to guarantee valid polyhedral modeling results","volume":"24","author":"Segal","year":"1990","journal-title":"Comput. Graphics"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB29","doi-asserted-by":"crossref","first-page":"603","DOI":"10.2307\/2274527","article-title":"Complete local rings as domains","volume":"53","author":"Stoltenberg-Hansen","year":"1988","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB30","series-title":"Handbook of Logic in Computer Science, Vol. 4","first-page":"357","article-title":"Effective algebras","author":"Stoltenberg-Hansen","year":"1995"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB31","series-title":"Computability","volume":"Vol. 9","author":"Weihrauch","year":"1987"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB32","doi-asserted-by":"crossref","unstructured":"K. Weihrauch, A foundation for computable analysis, in: D.S. Bridges, C.S. Calude, J. Gibbons, S. Reeves, I.H. Witten (Eds.), Combinatorics, Complexity, and Logic, Discrete Mathematics and Theoretical Computer Science, Proceedings of DMTCS\u201996, Singapore, Springer, Berlin, 1997, pp. 66\u201389.","DOI":"10.1007\/BFb0052087"},{"key":"10.1016\/S0304-3975(01)00091-3_BIB33","doi-asserted-by":"crossref","unstructured":"A. Edalat, A. Lieutier, Foundation of a computable solid modeling. in: Proceedings of the fifth symposium on Solid modeling and applications, ACM Symposium on Solid Modeling and Applications, 1999, pp. 278\u2013284.","DOI":"10.1145\/304012.304040"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501000913?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501000913?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,10]],"date-time":"2024-12-10T10:56:43Z","timestamp":1733828203000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397501000913"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["S0304397501000913"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(01)00091-3","relation":{},"ISSN":["0304-3975"],"issn-type":[{"type":"print","value":"0304-3975"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}