{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T04:30:52Z","timestamp":1773981052723,"version":"3.50.1"},"reference-count":43,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[1998,8,13]],"date-time":"1998-08-13T00:00:00Z","timestamp":902966400000},"content-version":"vor","delay-in-days":589,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Computational Geometry"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1016\/0925-7721(95)00040-2","type":"journal-article","created":{"date-parts":[[2003,4,24]],"date-time":"2003-04-24T18:53:11Z","timestamp":1051210391000},"page":"3-23","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":99,"title":["Towards exact geometric computation"],"prefix":"10.1016","volume":"7","author":[{"given":"Chee-Keng","family":"Yap","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0925-7721(95)00040-2_BIB1","article-title":"MPFUN: a portable high performance multiprecision package","author":"Bailey","year":"1990"},{"key":"10.1016\/0925-7721(95)00040-2_BIB2","article-title":"Introduction to programmable active memories","author":"Bertin","year":"1989"},{"key":"10.1016\/0925-7721(95)00040-2_BIB3","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/355769.355775","article-title":"A Fortran multiple-precision arithmetic package","volume":"4","author":"Brent","year":"1978","journal-title":"ACM Trans. Math. Software"},{"key":"10.1016\/0925-7721(95)00040-2_BIB4","series-title":"Proc. 20th ACM Symp. Theory Comput.","first-page":"460","article-title":"Some algebraic and geometric configurations in PSPACE","author":"Canny","year":"1988"},{"key":"10.1016\/0925-7721(95)00040-2_BIB5","first-page":"49","article-title":"New lower bound techniques for robot motion planning problems","volume":"28","author":"Canny","year":"1987","journal-title":"IEEE Found. Comput. Sci."},{"key":"10.1016\/0925-7721(95)00040-2_BIB6","first-page":"387","article-title":"Safe and effective determinant evaluation","volume":"33","author":"Clarkson","year":"1992","journal-title":"IEEE Found. Comput. Sci."},{"key":"10.1016\/0925-7721(95)00040-2_BIB7","series-title":"Numerical Analysis and Parallel Processing","first-page":"95","article-title":"Level-index arithmetic: an introductory survey","volume":"1397","author":"Clenshaw","year":"1987"},{"key":"10.1016\/0925-7721(95)00040-2_BIB8","series-title":"2nd GI Conf. on Automata Theory and Formal Languages","first-page":"134","article-title":"Quantifier elimination for real closed fields by cylindrical algebraic decomposition","volume":"33","author":"Collins","year":"1975"},{"key":"10.1016\/0925-7721(95)00040-2_BIB9","series-title":"Computer Algebra: Systems and Algorithms for Algebraic Computation","author":"Davenport","year":"1988"},{"key":"10.1016\/0925-7721(95)00040-2_BIB10","first-page":"93","article-title":"Recipes for geometry and numerical analysis, I: an empirical study","volume":"4","author":"Dobkin","year":"1988"},{"key":"10.1016\/0925-7721(95)00040-2_BIB11","series-title":"A basis for implementing exact geometric algorithms","author":"Dub\u00e9","year":"1993"},{"key":"10.1016\/0925-7721(95)00040-2_BIB12","series-title":"Algorithms in Combinatorial Geometry","author":"Edelsbrunner","year":"1987"},{"key":"10.1016\/0925-7721(95)00040-2_BIB13","first-page":"118","article-title":"Simulation of simplicity: a technique to cope with degenerate cases in geometric algorithms","volume":"4","author":"Edelsbrunner","year":"1988"},{"key":"10.1016\/0925-7721(95)00040-2_BIB14","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1093\/imanum\/6.2.241","article-title":"Overflow, underflow, and severe loss of significance in floating-point addition and subtraction","volume":"6","author":"Feldstein","year":"1986","journal-title":"IMA J. Numer. Anal."},{"key":"10.1016\/0925-7721(95)00040-2_BIB15","article-title":"Superexponential complexity of presburger arithmetic","volume":"Vol. 7","author":"Fischer","year":"1974"},{"key":"10.1016\/0925-7721(95)00040-2_BIB16","series-title":"Proc. 8th ACM Symp. Comput. Geom.","first-page":"83","article-title":"Numerical stability of algorithms for 2-d Delaunay triangulations and Voronoi diagrams","author":"Fortune","year":"1992"},{"key":"10.1016\/0925-7721(95)00040-2_BIB17","series-title":"Information Geometers","first-page":"81","article-title":"Progress in Computational Geometry","author":"Fortune","year":"1993"},{"key":"10.1016\/0925-7721(95)00040-2_BIB18","first-page":"163","article-title":"Efficient exact arithmetic for computational geometry","volume":"9","author":"Fortune","year":"1993"},{"key":"10.1016\/0925-7721(95)00040-2_BIB19","series-title":"Geometric and Solid Modeling: An Introduction","author":"Hoffman","year":"1989"},{"issue":"3","key":"10.1016\/0925-7721(95)00040-2_BIB20","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/1057947.1057949","article-title":"Numerical Turing","volume":"20","author":"Hull","year":"1985","journal-title":"ACM SIGNUM Newsletter"},{"issue":"3","key":"10.1016\/0925-7721(95)00040-2_BIB21","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/44128.44129","article-title":"Exception handling in scientific computing","volume":"14","author":"Hull","year":"1988","journal-title":"ACM Trans. Math. Software"},{"key":"10.1016\/0925-7721(95)00040-2_BIB22","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/99902.99905","article-title":"Efficient Delaunay triangulation using rational arithmetic","volume":"10","author":"Karasick","year":"1991","journal-title":"ACM Trans. Graphics"},{"key":"10.1016\/0925-7721(95)00040-2_BIB23","article-title":"Robust polygon modeling","author":"Milenkovic","year":"1993","journal-title":"Special issue on Uncertainties in Geometric Computations"},{"key":"10.1016\/0925-7721(95)00040-2_BIB24","first-page":"244","article-title":"Finding compact coordinate representations for polygons and polyhedra","volume":"6","author":"Milenkovic","year":"1990"},{"key":"10.1016\/0925-7721(95)00040-2_BIB25","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0020-0190(85)90029-8","article-title":"An algorithm for shortest-path motion in three dimensions","volume":"20","author":"Papadimitriou","year":"1985","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/0925-7721(95)00040-2_BIB26","series-title":"Computer Architecture: A Quantitative Approach","author":"Patterson","year":"1990"},{"key":"10.1016\/0925-7721(95)00040-2_BIB27","series-title":"Computer Organization and Design: The Hardware\/Software Interface","author":"Patterson","year":"1994"},{"key":"10.1016\/0925-7721(95)00040-2_BIB28","series-title":"Computational Geometry","author":"Preparata","year":"1985"},{"key":"10.1016\/0925-7721(95)00040-2_BIB29","series-title":"The fundamental theorem of algebra in terms of computational complexity","author":"Sch\u00f6nhage","year":"1985"},{"key":"10.1016\/0925-7721(95)00040-2_BIB30","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1016\/0196-8858(83)90014-3","article-title":"On the piano movers' problem: II. General techniques for computing topological properties of real algebraic manifolds","volume":"4","author":"Schwartz","year":"1983","journal-title":"Adv. Appl. Math."},{"key":"10.1016\/0925-7721(95)00040-2_BIB31","article-title":"BigNum: a portable and efficient package for arbitrary-precision arithmetic","author":"Serpette","year":"1989"},{"key":"10.1016\/0925-7721(95)00040-2_BIB32","series-title":"2nd Annual ACM Symposium on Parallel Algorithms and Architectures","article-title":"Hardware speedups in long integer multiplication","author":"Shand","year":"1990"},{"key":"10.1016\/0925-7721(95)00040-2_BIB33","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1137\/0215014","article-title":"On shortest paths in polyhedral spaces","volume":"15","author":"Sharir","year":"1986","journal-title":"SIAM J. Comput."},{"key":"10.1016\/0925-7721(95)00040-2_BIB34","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0893-9659(89)90022-0","article-title":"Two design principles of geometric algorithms in finite precision arithmetic","volume":"2","author":"Sugihara","year":"1989","journal-title":"Appl. Math. Lett."},{"key":"10.1016\/0925-7721(95)00040-2_BIB35_1","article-title":"Geometric algorithms in finite-precision arithmetic","author":"Sugihara","year":"1988"},{"key":"10.1016\/0925-7721(95)00040-2_BIB35_2","series-title":"13th International Symposium on Mathematical Programming","article-title":"Geometric algorithms in finite-precision arithmetic","author":"Sugihara","year":"1988"},{"key":"10.1016\/0925-7721(95)00040-2_BIB36","series-title":"Proc. 1988 Fall Conference of the Operations Research Society of Japan","first-page":"20","article-title":"A numerically stable method for Voronoi diagram construction","author":"Sugihara","year":"1988"},{"key":"10.1016\/0925-7721(95)00040-2_BIB37","article-title":"Robust gift-wrapping for the three-dimensional convex hull","author":"Sugihara","year":"1993","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0925-7721(95)00040-2_BIB38","unstructured":"C.K. Yap, Fundamental Problems in Algorithmic Algebra (Princeton University Press, Princeton, NJ), to appear. Available on request from author and from the URL ftp:\/\/cs.nyu.edu\/pub\/local\/yap\/Algebra."},{"issue":"1","key":"10.1016\/0925-7721(95)00040-2_BIB39","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/0022-0000(90)90016-E","article-title":"A geometric consistency theorem for a symbolic perturbation scheme","volume":"40","author":"Yap","year":"1990","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0925-7721(95)00040-2_BIB40_1","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0747-7171(08)80069-7","article-title":"Symbolic treatment of geometric degeneracies","volume":"10","author":"Yap","year":"1990","journal-title":"J. Symbolic Comput."},{"key":"10.1016\/0925-7721(95)00040-2_BIB40_2","series-title":"Proc. International IFIPS Conference on System Modelling and Optimization","first-page":"348","article-title":"Symbolic treatment of geometric degeneracies","volume":"113","author":"Yap","year":"1987"},{"key":"10.1016\/0925-7721(95)00040-2_BIB41","article-title":"Exact arithmetic solid modeling","author":"Yu","year":"1992"}],"container-title":["Computational Geometry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0925772195000402?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0925772195000402?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T16:39:58Z","timestamp":1757522398000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0925772195000402"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":43,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["0925772195000402"],"URL":"https:\/\/doi.org\/10.1016\/0925-7721(95)00040-2","relation":{},"ISSN":["0925-7721"],"issn-type":[{"value":"0925-7721","type":"print"}],"subject":[],"published":{"date-parts":[[1997,1]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Towards exact geometric computation","name":"articletitle","label":"Article Title"},{"value":"Computational Geometry","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0925-7721(95)00040-2","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1997 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}