{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:13:53Z","timestamp":1761488033200},"reference-count":110,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1988,2,1]],"date-time":"1988-02-01T00:00:00Z","timestamp":570672000000},"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":9298,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[1988,2]]},"DOI":"10.1016\/s0747-7171(88)80016-6","type":"journal-article","created":{"date-parts":[[2008,4,11]],"date-time":"2008-04-11T15:34:27Z","timestamp":1207928067000},"page":"267-274","source":"Crossref","is-referenced-by-count":18,"title":["A bibliography of quantifier elimination for real closed fields"],"prefix":"10.1016","volume":"5","author":[{"given":"Dennis S.","family":"Arnon","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0747-7171(88)80016-6_bib1","first-page":"207","article-title":"Sur la premi\u00e9re portia du seizi\u00e9me probl\u00e9m de Hilbert. S\u00e9minalre Bourbaki","volume":"770","author":"A'Compo","year":"1979","journal-title":"Springer Lec. Notes Math."},{"key":"10.1016\/S0747-7171(88)80016-6_bib2","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(88)80009-9","article-title":"Algebraic decomposition of regular curves","volume":"5","author":"Arnborg","year":"1988","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib3","first-page":"7","article-title":"Topology of real algebraic manifolds","volume":"34","author":"Arnol'd","year":"1979","journal-title":"Vestnik Moskovskogo Univ. Matematika (Moscow University Mathematics Bulletin)"},{"key":"10.1016\/S0747-7171(88)80016-6_bib4","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/3-540-09519-5_82","article-title":"A cellular decomposition algorithm for semi-algebraic sets","volume":"72","author":"Arnon","year":"1979","journal-title":"Springer Lec. Notes Comp. Sci."},{"key":"10.1016\/S0747-7171(88)80016-6_bib5","series-title":"Algorithms for the Geometry of Semi Algebraic Sets","author":"Arnon","year":"1981"},{"key":"10.1016\/S0747-7171(88)80016-6_bib6","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/3-540-11607-9_25","article-title":"Cylindrical algebraic decomposition by quantifier elimination","volume":"144","author":"Arnon","year":"1982","journal-title":"Springer Lec. Notes Comp. Sci."},{"key":"10.1016\/S0747-7171(88)80016-6_bib7","series-title":"Proc. ACM SIGGRAPH '83","first-page":"219","article-title":"Topologically reliable display of algebraic curves","author":"Arnon","year":"1983"},{"issue":"4","key":"10.1016\/S0747-7171(88)80016-6_bib8","first-page":"865","article-title":"Cylindrical algebraic decomposition I: the basic algorithm","volume":"13","author":"Arnon","year":"1984","journal-title":"SlAM .J. Comp."},{"issue":"4","key":"10.1016\/S0747-7171(88)80016-6_bib9","doi-asserted-by":"crossref","first-page":"878","DOI":"10.1137\/0213055","article-title":"Cylindrical algebraic decomposltion II: an adjacency algorithm for the plane","volume":"13","author":"Arnon","year":"1984","journal-title":"SIAM J. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib10","article-title":"A cluster-based cylindrical algebraic decomposition algorithm","volume":"5","author":"Arnon","year":"1988","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib11","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(88)90049-5","article-title":"Geometric reasoning with logic and algebra","author":"Arnon","year":"1988","journal-title":"Artificial Intelligence J."},{"key":"10.1016\/S0747-7171(88)80016-6_bib12","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(88)80013-0","article-title":"A polynomial-time algorithm for the topological type of a real algebraic curve","volume":"5","author":"Arnon","year":"1988","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib13","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(88)80014-2","article-title":"On mechanical quantifier ellmination for elementary algebra and geometry","volume":"5","author":"Arnon","year":"1988","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib14","article-title":"An adjacency algorithm for cylindrical algebraic decompositions of three dimensional space","volume":"51","author":"Arnon","year":"1988","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib15","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/41958.41976","article-title":"Compliant motion planning wlth geometric models","author":"Bajaj","year":"1987","journal-title":"Proc. Third ACM Symp. Computational Geometry"},{"key":"10.1016\/S0747-7171(88)80016-6_bib16","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/S0273-0979-1986-15431-5","article-title":"On the real spectrum of a ring and its application to semialgebraic geometry","volume":"15","author":"Becker","year":"1986","journal-title":"Bull. (new series) American Math. Soc."},{"key":"10.1016\/S0747-7171(88)80016-6_bib17","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0022-0000(86)90029-2","article-title":"The complexity of elementary algebra and geometry","volume":"32","author":"Ben-Or","year":"1986","journal-title":"J. Comp. Sys. Sci."},{"key":"10.1016\/S0747-7171(88)80016-6_bib18","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0304-3975(80)90037-7","article-title":"The complexity of loglcal theories","volume":"11","author":"Berman","year":"1980","journal-title":"Theor. Comp. Sci."},{"key":"10.1016\/S0747-7171(88)80016-6_bib19","series-title":"Geometrie Alg\u00e9brique R\u00e9elle","author":"Bochnak","year":"1987"},{"key":"10.1016\/S0747-7171(88)80016-6_bib20","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-16776-5_728","article-title":"Quantifier elimination for real closed fields","author":"B\u00f6ge","year":"1986","journal-title":"Proc. AAECC-3. Springer Lec. Notes Comp, Sci."},{"key":"10.1016\/S0747-7171(88)80016-6_bib21","article-title":"Partially Ordered Rings and Semi-Algebraic Geometry","volume":"37","author":"Brumfiel","year":"1979"},{"key":"10.1016\/S0747-7171(88)80016-6_bib22","series-title":"Computer Algebra - Symbolic and Algebraic Computation","volume":"4","author":"Buchberger","year":"1982"},{"key":"10.1016\/S0747-7171(88)80016-6_bib23","series-title":"The Complexity of Robot Motion Planning","author":"Canny","year":"1987"},{"key":"10.1016\/S0747-7171(88)80016-6_bib24","article-title":"A new algebraic method for robot motion planning and real geometry","author":"Canny","year":"1987","journal-title":"Proc. 1987 IEEE Conf. on Foundations of Comp. Sci. (FOCS)"},{"key":"10.1016\/S0747-7171(88)80016-6_bib25","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-15198-2_9","article-title":"Fast searching in a real algebraic manifold with applications to geometric complexity","author":"Chazelle","year":"1985","journal-title":"Proc. CAAP '85. Sprinper Lee. Notes Comp. Sci."},{"key":"10.1016\/S0747-7171(88)80016-6_bib26","first-page":"243","article-title":"Proving elementary geometry theorems using Wu's method","volume":"29","author":"Chou","year":"1984"},{"key":"10.1016\/S0747-7171(88)80016-6_bib27","series-title":"Mechanical Geometry Theorem Proving","author":"Chou","year":"1988"},{"key":"10.1016\/S0747-7171(88)80016-6_bib28","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1002\/cpa.3160220202","article-title":"Decision procedures for real and padic fields","volume":"22","author":"Cohen","year":"1969","journal-title":"Comm. Pure Appl. Math"},{"key":"10.1016\/S0747-7171(88)80016-6_bib29","article-title":"The Tarski decision procedure","author":"Collins","year":"1956","journal-title":"Proc. ACM Natl. Conf."},{"key":"10.1016\/S0747-7171(88)80016-6_bib30","first-page":"64","article-title":"Tarski's decision method for elementary algebra","volume":"1","author":"Collins","year":"1957"},{"key":"10.1016\/S0747-7171(88)80016-6_bib31","first-page":"515","article-title":"Quantifier elimination for real closed fields by cylindrical algebraic decomposition","volume":"33","author":"Collins","year":"1975","journal-title":"Springer Lec. Notes Comp. Sci."},{"issue":"1","key":"10.1016\/S0747-7171(88)80016-6_bib32","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/1093390.1093393","article-title":"Quantifier elimlnatlon for real closed fields by cylindrical algebraic decomposition - a synopsis","volume":"10","author":"Collins","year":"1976","journal-title":"ACM SIGSAM Bull."},{"key":"10.1016\/S0747-7171(88)80016-6_bib33","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-11607-9_24","article-title":"Factorization in cylindrical algebraic decomposition","volume":"144","author":"Collins","year":"1982","journal-title":"Springer Lec. Notes Comp. Sci."},{"key":"10.1016\/S0747-7171(88)80016-6_bib34","series-title":"Computer Algebra - Symbolic and Algebraic Computation","first-page":"79","article-title":"Quantifier elimination for real closed fields: a guide to the literature","volume":"4","author":"Collins","year":"1982"},{"key":"10.1016\/S0747-7171(88)80016-6_bib35","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(88)80008-7","article-title":"Thom's lemma, the coding of reai algebraic numbers and the computation of the topology of semi-algebraic sets","volume":"5","author":"Coste","year":"1988","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib36","series-title":"Computer Algebra for Cylindrical Algebraic Decomposition","author":"Davenport","year":"1985"},{"issue":"70","key":"10.1016\/S0747-7171(88)80016-6_bib37","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/12917.12919","article-title":"A piano movers problem","volume":"20","author":"Davenport","year":"1986","journal-title":"ACM SIGSAM Bull."},{"key":"10.1016\/S0747-7171(88)80016-6_bib38","series-title":"Calcul Formal: Syst\u00e9mes et Algorithmes de Manipulation, Alg\u00e9briques","author":"Davenport","year":"1987"},{"key":"10.1016\/S0747-7171(88)80016-6_bib39","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(88)80004-X","article-title":"Real quantifier elimination is doubly exponential","volume":"5","author":"Davenport","year":"1988","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib40","first-page":"79","article-title":"A finiteness theorem for open semi-algebraic sets, with applications to Hilbert's 17th problem","volume":"8","author":"Delzell","year":"1982"},{"key":"10.1016\/S0747-7171(88)80016-6_bib41","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF01388465","article-title":"A continuous, constructive solution to Hilbert's 17th problem","volume":"76","author":"Delzell","year":"1984","journal-title":"Invent. math."},{"issue":"5","key":"10.1016\/S0747-7171(88)80016-6_bib42","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1016\/0020-0190(79)90071-1","article-title":"A note on simplification orderings","volume":"9","author":"Dershowitz","year":"1979","journal-title":"Info. Proc. Letters"},{"key":"10.1016\/S0747-7171(88)80016-6_bib43","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/BFb0075308","article-title":"Applications of model theory to real algebraic geometry: a survey. Methods in Mathematical Logic Proceedings 1983","volume":"1130","author":"Diekmann","year":"1985","journal-title":"Springer Lec. Notes Math."},{"key":"10.1016\/S0747-7171(88)80016-6_bib44","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF02589551","article-title":"A nullstellensatz for ordered fields","volume":"8","author":"Dubois","year":"1969","journal-title":"Ark. Math."},{"key":"10.1016\/S0747-7171(88)80016-6_bib45","series-title":"Studies and Essays Pretented to Y.H. Chen for his 60th Birthday","first-page":"107","article-title":"Algebraic theory of real varieties","author":"Dubois","year":"1970"},{"key":"10.1016\/S0747-7171(88)80016-6_bib46","series-title":"Ordered Fields and Real Algebraic Geometry","volume":"8","year":"1982"},{"key":"10.1016\/S0747-7171(88)80016-6_bib47","series-title":"Ordered Fields and Real Algebraic Geometry","volume":"14\/4","year":"1984"},{"key":"10.1016\/S0747-7171(88)80016-6_bib48","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1137\/0204006","article-title":"A decision procedure for the first order theory of real addition with order","volume":"4","author":"Ferrante","year":"1978","journal-title":"SIAM J. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib49","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0062837","article-title":"The Complexity of Decision Procedures for Logical Theories","volume":"718","author":"Ferrante","year":"1979","journal-title":"Springer Lec. Notes Math."},{"key":"10.1016\/S0747-7171(88)80016-6_bib50","series-title":"Complexity of Computation","first-page":"27","article-title":"Super-exponentlal complexity of Presburger Arithmetic","volume":"7","author":"Fischer","year":"1974"},{"key":"10.1016\/S0747-7171(88)80016-6_bib51","article-title":"Algorithmes rapides en sequentiel et en parallele pour l'elimination de quantificateurs en geometrique elementaire","author":"Fitchas","year":"1987","journal-title":"Seminaire Structures Algebriques Ordonnees"},{"key":"10.1016\/S0747-7171(88)80016-6_bib52","article-title":"Parallelism and fast quautifier elimination over algebraically (and real) closed fields","author":"Galligo","year":"1987","journal-title":"Springer Lec. Notes Comp. Sci."},{"key":"10.1016\/S0747-7171(88)80016-6_bib53","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(88)80006-3","article-title":"The complexity of deciding Tarski algebra","volume":"5","author":"Grigor'ev","year":"1988","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib54","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(88)80005-1","article-title":"Solving systems of polynomial inequalities in subexponential time","volume":"5","author":"Grigor'ev","year":"1988","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib55","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1070\/RM1974v029n04ABEH001288","article-title":"The topology of real projective algebraic varietles","volume":"29","author":"Gudkov","year":"1974","journal-title":"Russian Math. Surveys"},{"key":"10.1016\/S0747-7171(88)80016-6_bib56","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/1088322.1088324","article-title":"An efficient quantifier elimination procedure for algebraically closed fields","volume":"9","author":"Heintz","year":"1975","journal-title":"ACM SIGSAM Bull."},{"key":"10.1016\/S0747-7171(88)80016-6_bib57","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0304-3975(83)90002-6","article-title":"Definability and fast quantifier elimination in algebraically closed fields","volume":"24","author":"Heintz","year":"1983","journal-title":"Theoretical Comput. Sci."},{"key":"10.1016\/S0747-7171(88)80016-6_bib58","first-page":"165","article-title":"Triangulations of algebraic sets","volume":"29","author":"Hironaka","year":"1975","journal-title":"AMS Syrup. in Pure Math"},{"key":"10.1016\/S0747-7171(88)80016-6_bib59","series-title":"Vereinfachungen f\u00fcr Tarski's Entacheidungsverfahren der elementaren reeleen Algebra","author":"Holthusen","year":"1974"},{"key":"10.1016\/S0747-7171(88)80016-6_bib60","series-title":"Lectures in Abstract Algebra","author":"Jacobson","year":"1964"},{"key":"10.1016\/S0747-7171(88)80016-6_bib61","series-title":"Basic Algebra","author":"Jacobson","year":"1974"},{"key":"10.1016\/S0747-7171(88)80016-6_bib62","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF01406844","article-title":"Counting types of rigid frameworks","volume":"55","author":"Kahn","year":"1979","journal-title":"Inventiones Math."},{"key":"10.1016\/S0747-7171(88)80016-6_bib63","series-title":"Manuscript, Math","article-title":"Hilbert's Problems- Preliminary Edition","author":"Kaplansky","year":"1977"},{"key":"10.1016\/S0747-7171(88)80016-6_bib64","series-title":"Proc. 1986 ACM Symp. Symbolic and Algebraic Computation. Waterloo, Ontario","first-page":"202","article-title":"Geometry theorem proving using Hilbert's Nullstellensatz","author":"Kapur","year":"1986"},{"key":"10.1016\/S0747-7171(88)80016-6_bib65","article-title":"A refutational approach to geometry theorem proving","author":"Kaput","year":"1988","journal-title":"Artificial Intelligence J"},{"key":"10.1016\/S0747-7171(88)80016-6_bib66","first-page":"515","article-title":"Algebraic cell decomposition in NC","author":"Kozen","year":"1985","journal-title":"Proc. IEEE Conf. on Foundations of Comp. Sci. (FOCS)"},{"key":"10.1016\/S0747-7171(88)80016-6_bib67","series-title":"Elements of Mathematical Logic (Model Theory)","author":"Kreisel","year":"1967"},{"key":"10.1016\/S0747-7171(88)80016-6_bib68","first-page":"123","article-title":"Some uses of proof theory for finding computer programs","volume":"249","author":"Kreisel","year":"1975","journal-title":"Colloques Interna- tioneauz du CNRS"},{"key":"10.1016\/S0747-7171(88)80016-6_bib69","first-page":"63","article-title":"From foundations to science; justifying and unwinding proofs","volume":"2\/10","author":"Kreisel","year":"1977"},{"key":"10.1016\/S0747-7171(88)80016-6_bib70","series-title":"Automated geometry theorem proving using Buchberger's algorithm","first-page":"209","author":"Kutzler","year":"1988"},{"key":"10.1016\/S0747-7171(88)80016-6_bib71","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1216\/RMJ-1984-14-4-767","article-title":"Introduction to real algebra","volume":"14","author":"Lam","year":"1984","journal-title":"Rocky Mountain J. Math."},{"key":"10.1016\/S0747-7171(88)80016-6_bib72","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(88)80015-4","article-title":"Quantifier elimination: optimal solution for two classical examples","volume":"5","author":"Lazard","year":"1988","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib73","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1016\/0001-8708(83)90055-5","article-title":"Elimination of quantifiers in algebraic structures","volume":"47","author":"MacIntyre","year":"1983","journal-title":"Advances in Math."},{"key":"10.1016\/S0747-7171(88)80016-6_bib74","series-title":"Homology and Cohomoloyy Theory","author":"Massey","year":"1978"},{"key":"10.1016\/S0747-7171(88)80016-6_bib75","series-title":"Constructive Triangulation of Real Curves and Surfaces (MSc thesis)","author":"McCallum","year":"1979"},{"key":"10.1016\/S0747-7171(88)80016-6_bib76","series-title":"An improved projection operator for cylindrical algebraic decompoaitlon (Ph.D. thesis)","author":"McCallum","year":"1985"},{"key":"10.1016\/S0747-7171(88)80016-6_bib77","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(88)80010-5","article-title":"An improved projection operation for cylindrical algebraic decompositlon of three-dlmenslonal space","volume":"5","author":"McCallum","year":"1988","journal-title":"J. Symb. Comp"},{"key":"10.1016\/S0747-7171(88)80016-6_bib78","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2308008","article-title":"Decision methods for elementary algebra","volume":"62","author":"Meserve","year":"1955","journal-title":"Ameer. Math. Monthly"},{"key":"10.1016\/S0747-7171(88)80016-6_bib79","series-title":"An Elementary Recursive Decision Procedure for Th(R1+1*). Manuscript, Math","author":"Monk","year":"1974"},{"key":"10.1016\/S0747-7171(88)80016-6_bib80","series-title":"Elementary Recursive Decision Procedures (Ph.D. thesis)","author":"Monk","year":"1975"},{"key":"10.1016\/S0747-7171(88)80016-6_bib81","series-title":"Ein ezakter Algorithmus zur nichtlinearen Optimierung f\u00fcr beliebige Polynome mit mehreren Veranderlichen","author":"M\u00fcller","year":"1978"},{"key":"10.1016\/S0747-7171(88)80016-6_bib82","article-title":"Wu's method: an informal introduction","author":"Mundy","year":"1988","journal-title":"Artificial Intelligence J."},{"key":"10.1016\/S0747-7171(88)80016-6_bib83","series-title":"The Complexity of Computing Minimum Convex Covers for Polygons","author":"O'Rourke","year":"1982"},{"key":"10.1016\/S0747-7171(88)80016-6_bib84","series-title":"Algorithmes d'Elimination des Quantificateurs","author":"Paugam","year":"1986"},{"key":"10.1016\/S0747-7171(88)80016-6_bib85","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0071461","article-title":"Lecture on formally real fields. Rio de Janeiro: IMPA 1975","volume":"1093","author":"Prestel","year":"1984","journal-title":"Springer Lec. Notes Math"},{"key":"10.1016\/S0747-7171(88)80016-6_bib86","doi-asserted-by":"crossref","first-page":"972","DOI":"10.1137\/0215069","article-title":"On approximation and incidence in cylindrical algebralc decompositions","volume":"15","author":"Prill","year":"1986","journal-title":"SIAM J. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib87","series-title":"Handbook of Mathematical Logic","first-page":"595","article-title":"Decidable theories","author":"Robin","year":"1977"},{"key":"10.1016\/S0747-7171(88)80016-6_bib88","first-page":"11","article-title":"Sur le 16 probl\u00e9me de Hilbert: un r\u00e9sum\u00e9 et quelques questions","volume":"9","author":"Risler","year":"1980"},{"key":"10.1016\/S0747-7171(88)80016-6_bib89","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(88)80007-5","article-title":"Some aspects of complexity in real algebraic geometry","volume":"5","author":"Risler","year":"1988","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib90","series-title":"Introduction to model theory and the metamathematics of algebra","author":"Robinson","year":"1965"},{"key":"10.1016\/S0747-7171(88)80016-6_bib91","first-page":"139","article-title":"A decision method for elementary algebra and geometry - revisited","volume":"25","author":"Robinson","year":"1974","journal-title":"AMS Syrup. in Pure Math."},{"key":"10.1016\/S0747-7171(88)80016-6_bib92","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1016\/0196-8858(83)90014-3","article-title":"On the \u2018piano movers\u2019 problem H. General techniques for computing topological properties of real algebraic manifolds","volume":"4","author":"Schwartz","year":"1983","journal-title":"Adv. Applied Math."},{"key":"10.1016\/S0747-7171(88)80016-6_bib93","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(88)90053-7","article-title":"A survey of motion planning and related geometric algorithms","author":"Schwartz","year":"1988","journal-title":"Artificial Intelligence J."},{"key":"10.1016\/S0747-7171(88)80016-6_bib94","doi-asserted-by":"crossref","first-page":"365","DOI":"10.2307\/1969640","article-title":"A new decision method for elementary algebra","volume":"80","author":"Seidenberg","year":"1954","journal-title":"Annals of Math."},{"key":"10.1016\/S0747-7171(88)80016-6_bib95","first-page":"144","article-title":"On shortest paths in polyhedral spaces","author":"Sharir","year":"1984","journal-title":"Proc. 16th ACM Syrup. on Theory of Computing (STOC)"},{"issue":"3","key":"10.1016\/S0747-7171(88)80016-6_bib96","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BF03022866","article-title":"Skolem's solution to a problem of Frobenius","volume":"3","author":"Smorynski","year":"1981","journal-title":"Math. Inielligeneer"},{"key":"10.1016\/S0747-7171(88)80016-6_bib97","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0020-0190(85)90076-6","article-title":"Real addition and the polynomial hierarchy","volume":"20","author":"Sontag","year":"1985","journal-title":"Info. Proc. Letters"},{"key":"10.1016\/S0747-7171(88)80016-6_bib98","series-title":"Vorzeichenbestimmung f\u00fcr Polynome auf der Zellenzerlegung nach Collins","author":"Struth","year":"1980"},{"key":"10.1016\/S0747-7171(88)80016-6_bib99","series-title":"Report R-109","article-title":"A Decision Method for Elementary Algebra and Geometry","author":"Tarski","year":"1951"},{"key":"10.1016\/S0747-7171(88)80016-6_bib100","series-title":"Proceedings of an International Symposium on the Axiomatic Method, with Special Relevance to Geometry and Physics","first-page":"16","article-title":"What is elementary geometry?","author":"Tarski","year":"1959"},{"key":"10.1016\/S0747-7171(88)80016-6_bib101","series-title":"Structural Stability and Morphogenesis","author":"Thom","year":"1972"},{"key":"10.1016\/S0747-7171(88)80016-6_bib102","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF01343127","article-title":"Dos Problem der Dreizehn Kugeln","volume":"125","author":"van der Waerden","year":"1952","journal-title":"Math. Ann."},{"key":"10.1016\/S0747-7171(88)80016-6_bib103","series-title":"Algebra","author":"van der Waerden","year":"1970"},{"key":"10.1016\/S0747-7171(88)80016-6_bib104","series-title":"Popular lectures on mathematical logic","author":"Wang","year":"1981"},{"key":"10.1016\/S0747-7171(88)80016-6_bib105","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(88)80003-8","article-title":"The complexity of linear problems in fields","volume":"5","author":"Weispfenning","year":"1988","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(88)80016-6_bib106","doi-asserted-by":"crossref","first-page":"545","DOI":"10.2307\/1969908","article-title":"Elementary structure of real algebraic varieties","volume":"66","author":"Whitney","year":"1957","journal-title":"Ann. of Math."},{"key":"10.1016\/S0747-7171(88)80016-6_bib107","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0040-9383(78)90012-5","article-title":"Hilhert's sixteenth problem","volume":"17","author":"Wilson","year":"1978","journal-title":"Topolooy"},{"key":"10.1016\/S0747-7171(88)80016-6_bib108","first-page":"207","article-title":"Basic Principles of Mechanical Theorem proving in Elementary Geometries","volume":"4","author":"W.-T.","year":"1984","journal-title":"J. Syst. Sci. & Math. Sci."},{"key":"10.1016\/S0747-7171(88)80016-6_bib109","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-07805-3_10","article-title":"Ein Entscheidungsverfahren f\u00fcr die Theorie der reell-abgeschlossenen K\u00f6rper","volume":"43","author":"W\u00fcthrich","year":"1976","journal-title":"Springer Lec. Notes Comp. Sci."},{"key":"10.1016\/S0747-7171(88)80016-6_bib110","series-title":"Ein schnelles Quantoreneliminationsverfahren f\u00fcr die Theorie der algebraisch abgeschlossenen K\u00f6rper (Ph.D. thesis)","author":"W\u00fcthrich","year":"1977"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717188800166?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717188800166?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,30]],"date-time":"2018-12-30T03:23:40Z","timestamp":1546140220000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717188800166"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,2]]},"references-count":110,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1988,2]]}},"alternative-id":["S0747717188800166"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(88)80016-6","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[1988,2]]}}}