{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,7]],"date-time":"2024-07-07T13:55:33Z","timestamp":1720360533134},"reference-count":42,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"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":5311,"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":[[1999,1]]},"DOI":"10.1016\/s0304-3975(98)00101-7","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T00:48:18Z","timestamp":1027644498000},"page":"173-197","source":"Crossref","is-referenced-by-count":26,"title":["Sign determination in residue number systems"],"prefix":"10.1016","volume":"210","author":[{"given":"Herv\u00e9","family":"Br\u00f6nnimann","sequence":"first","affiliation":[]},{"given":"Ioannis Z.","family":"Emiris","sequence":"additional","affiliation":[]},{"given":"Victor Y.","family":"Pan","sequence":"additional","affiliation":[]},{"given":"Sylvain","family":"Pion","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(98)00101-7_BIB1","series-title":"The Design and Analysis of Computer Algorithms","author":"Aho","year":"1974"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB2","first-page":"16","article-title":"On the question \u201cIs \u22111n \u221aai\u2a7dL\u201d?","volume":"28","author":"Akman","year":"1986","journal-title":"Bull. EATCS"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB3","series-title":"Proc. 11th Annu. ACM Symp. Comput. Geom.","first-page":"C16","article-title":"Evaluation of a new method to compute signs of determinants","author":"Avnaim","year":"1995"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB4","series-title":"Proc. IEEE Symp. Foundations of Comput. Sci.","article-title":"On the combinatorial and algebraic complexity of quantifier elimination","author":"Basu","year":"1994"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB5","article-title":"Polynomial and Matrix Computations","volume":"vol. 1","author":"Bini","year":"1994"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB6","author":"Bini","year":"1997","journal-title":"Certified numerical computation of the sign of matrix determinant, Preliminary Report"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB7","series-title":"Proc. ASAP","first-page":"45","article-title":"A new Euclidean division algorithm for residue number systems","author":"Bajard","year":"1996"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB8","series-title":"Proc. ACM Symp. on Computational Geometry","first-page":"174","article-title":"Computing exact geometric predicates using modular arithmetic with single precision","author":"Br\u00f6nnimann","year":"1997"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB9","series-title":"Proc. of GAMM\/IMACS Int. Symp. on Scientific Computing","first-page":"XIII-1","article-title":"Exact rounding for geometric constructions","author":"Br\u00f6nnimann","year":"1997"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB10","doi-asserted-by":"crossref","DOI":"10.1145\/262839.262944","article-title":"Efficient exact evaluation of signs of determinants","author":"Br\u00f6nnimann","year":"1997"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB11","series-title":"Proc. 11th Annu. ACM Symp. Comput. Geom.","first-page":"C18","article-title":"Exact geometric computation in LEDA","author":"Burnikel","year":"1995"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB12","doi-asserted-by":"crossref","unstructured":"J.F. Canny, An improved sign determination algorithm, H.F. Mattson, T. Mora, T.R.N. Rao (Eds.), Proc. Int. Symp. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, Lecture Notes in Computer Science, vol. 539, Springer, Berlin, pp. 108\u2013117.","DOI":"10.1007\/3-540-54522-0_100"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB13","series-title":"Proc. 33rd Annu. IEEE Symp. Found. Comput. Sci.","first-page":"387","article-title":"Safe and effective determinant evaluation","author":"Clarkson","year":"1992"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB14","series-title":"Computer Algebra: Symbolic and Algebraic Computation","first-page":"83","article-title":"Real zeros of polynomials","author":"Collins","year":"1982"},{"issue":"1","key":"10.1016\/S0304-3975(98)00101-7_BIB15","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/77635.77639","article-title":"Simulation of simplicity: a technique to cope with degenerate cases in geometric algorithms","volume":"9","author":"Edelsbrunner","year":"1990","journal-title":"ACM Trans. Graphics"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB16_1","article-title":"A complete implementation for computing general dimensional convex hulls","author":"Emiris","year":"1997","journal-title":"Int. J. Comput. Geom. Appl."},{"key":"10.1016\/S0304-3975(98)00101-7_BIB16_2","series-title":"Preliminary version as Research Report 2551","author":"Emiris","year":"1995"},{"issue":"3","key":"10.1016\/S0304-3975(98)00101-7_BIB17","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1137\/S0097539792235918","article-title":"A general approach to removing degeneracies","volume":"24","author":"Emiris","year":"1995","journal-title":"SIAM J. Comput."},{"key":"10.1016\/S0304-3975(98)00101-7_BIB18","doi-asserted-by":"crossref","DOI":"10.1006\/jsco.1998.0201","article-title":"Modular arithmetic for linear algebra computations in the real field","author":"Emiris","year":"1998","journal-title":"J. Symbol. Comput."},{"key":"10.1016\/S0304-3975(98)00101-7_BIB19","series-title":"Proc. 8th Annu. ACM Symp. Comput. Geom.","first-page":"83","article-title":"Numerical stability of algorithms for 2-d Delaunay triangulation, and Voronoi diagrams","author":"Fortune","year":"1992"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB20","series-title":"Proc. 9th Annu. ACM Symp. Comput. Geom.","first-page":"163","article-title":"Efficient exact arithmetic for computational geometry","author":"Fortune","year":"1993"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB21","series-title":"ACM Trans. Graphics","article-title":"Static analysis yields efficient exact integer arithmetic for computational geometry","author":"Fortune","year":"1996"},{"issue":"1","key":"10.1016\/S0304-3975(98)00101-7_BIB22","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/103162.103163","article-title":"What every computer scientist should know about floating-point arithmetic","volume":"32","author":"Goldberg","year":"1991","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/S0304-3975(98)00101-7_BIB23","series-title":"Matrix Computations","author":"Golub","year":"1996"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB24","series-title":"Applied Computational Geometry","first-page":"1","article-title":"How solid is solid modeling?","volume":"vol. 1148","author":"Hoffmann","year":"1996"},{"issue":"6","key":"10.1016\/S0304-3975(98)00101-7_BIB25","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/38.41469","article-title":"Robust set operations on polyhedral solids","volume":"9","author":"Hoffmann","year":"1989","journal-title":"IEEE Comput. Graph. Appl."},{"issue":"4","key":"10.1016\/S0304-3975(98)00101-7_BIB26","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0898-1221(94)90052-3","article-title":"An approximate sign detection method for residue numbers and its application to RNS division","volume":"27","author":"Hung","year":"1994","journal-title":"Comput. Math. Appl."},{"key":"10.1016\/S0304-3975(98)00101-7_BIB27","doi-asserted-by":"crossref","DOI":"10.1145\/267734.267753","article-title":"Efficient B-rep generation of low degree sculptured solids using exact arithmetic","author":"Keyser","year":"1996"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB28","volume":"vol. 2","author":"Knuth","year":"1981-1997"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB29","series-title":"Computer Algebra: Symbolic and Algebraic Computation","first-page":"139","article-title":"Computing by homomorphic images","author":"Lauer","year":"1982"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB30","series-title":"Proc. 30th Annu. IEEE Symp. Found. Comput. Sci.","first-page":"500","article-title":"Double precision geometry: a general technique for calculating line and segment intersections using rounded arithmetic","author":"Milenkovic","year":"1989"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB31","series-title":"Algorithmic Algebra","author":"Mishra","year":"1993"},{"issue":"2","key":"10.1016\/S0304-3975(98)00101-7_BIB32","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0304-3975(96)00030-8","article-title":"Parallel computation of polynomial GCD and some related parallel computations over abstract fields","volume":"162","author":"Pan","year":"1996","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"10.1016\/S0304-3975(98)00101-7_BIB33","first-page":"43","article-title":"Algebraic and numerical techniques for the computation of matrix determinants","volume":"34","author":"Pan","year":"1997","journal-title":"Comput. Math."},{"key":"10.1016\/S0304-3975(98)00101-7_BIB34","series-title":"Proc. ACM Symp. on Computational Geometry","first-page":"277","article-title":"A complete and practical algorithm for geometric theorem proving","author":"Rege","year":"1995"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB35","series-title":"Residue Arithmetic and its Applications to Computer Technology","author":"Szabo","year":"1967"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB36","series-title":"Proc. 12th Annu. ACM Symp. Computational Geometry","first-page":"141","article-title":"Robust adaptive floating-point geometric predicates","author":"Shewchuk","year":"1996"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB37","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1142\/S0218195994000124","article-title":"A robust topology-oriented incremental algorithm for Voronoi diagrams","volume":"4","author":"Sugihara","year":"1994","journal-title":"Int. J. Comput. Geom. Appl."},{"issue":"4","key":"10.1016\/S0304-3975(98)00101-7_BIB38","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1145\/50063.214384","article-title":"Solving systems of nonlinear equations using the nonzero value of the topological degree","volume":"14","author":"Vrahatis","year":"1998","journal-title":"ACM Trans. on Math. Software"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB39","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0925-7721(95)00040-2","article-title":"Towards exact geometric computation","volume":"7","author":"Yap","year":"1997","journal-title":"Comput. Geom. Theory Appl."},{"key":"10.1016\/S0304-3975(98)00101-7_BIB40","series-title":"Snapshots of Computational and Discrete Geometry","article-title":"Exact computational geometry and tolerancing metrology","volume":"vol. 3","author":"Yap","year":"1995"},{"key":"10.1016\/S0304-3975(98)00101-7_BIB41","series-title":"Computing in Euclidean Geometry","article-title":"The exact computation paradigm","author":"Yap","year":"1995"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397598001017?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397598001017?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T13:02:53Z","timestamp":1555419773000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397598001017"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["S0304397598001017"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(98)00101-7","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}