{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,26]],"date-time":"2023-04-26T17:10:54Z","timestamp":1682529054818},"reference-count":40,"publisher":"Elsevier BV","issue":"3-4","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"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":3607,"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":[[2003,9]]},"DOI":"10.1016\/s0747-7171(03)00085-3","type":"journal-article","created":{"date-parts":[[2003,7,7]],"date-time":"2003-07-07T13:48:27Z","timestamp":1057585707000},"page":"343-364","source":"Crossref","is-referenced-by-count":14,"title":["Algorithms to compute the topology of orientable real algebraic surfaces"],"prefix":"10.1016","volume":"36","author":[{"given":"E.","family":"Fortuna","sequence":"first","affiliation":[]},{"given":"P.","family":"Gianni","sequence":"additional","affiliation":[]},{"given":"P.","family":"Parenti","sequence":"additional","affiliation":[]},{"given":"C.","family":"Traverso","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1\u20132","key":"10.1016\/S0747-7171(03)00085-3_B1","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/S0747-7171(88)80009-9","article-title":"Algebraic decomposition of regular curves","volume":"5","author":"Arnborg","year":"1988","journal-title":"J. Symbolic Comput."},{"key":"10.1016\/S0747-7171(03)00085-3_B2","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0004-3702(88)90049-5","article-title":"Geometric reasoning with logic and algebra","volume":"37","author":"Arnon","year":"1988","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S0747-7171(03)00085-3_B3","doi-asserted-by":"crossref","first-page":"213","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. Symbolic Comput."},{"issue":"1\u20132","key":"10.1016\/S0747-7171(03)00085-3_B4","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1006\/jsco.1999.0269","article-title":"On the theories of triangular sets","volume":"28","author":"Aubry","year":"1999","journal-title":"J. Symbolic Comput."},{"issue":"6","key":"10.1016\/S0747-7171(03)00085-3_B5","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1006\/jsco.2002.0563","article-title":"Real solving for positive dimensional systems","volume":"34","author":"Aubry","year":"2002","journal-title":"J. Symbolic Comput."},{"key":"10.1016\/S0747-7171(03)00085-3_B6","series-title":"Numerical Mathematics (Singapore, 1988)","first-page":"11","article-title":"An elimination algorithm for the computation of all zeros of a system of multivariate polynomial equations","author":"Auzinger","year":"1988"},{"issue":"1","key":"10.1016\/S0747-7171(03)00085-3_B7","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1090\/S0894-0347-99-00311-2","article-title":"Computing roadmaps of semi-algebraic sets on a variety","volume":"13","author":"Basu","year":"2000","journal-title":"J. Amer. Math. Soc."},{"key":"10.1016\/S0747-7171(03)00085-3_B8","series-title":"Algorithms in Real Algebraic Geometry","volume":"vol. 10","author":"Basu","year":"2003"},{"key":"10.1016\/S0747-7171(03)00085-3_B9","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1006\/jsco.2002.0544","article-title":"Computation of the dual of a plane projective curve","volume":"34","author":"Bouziane","year":"2002","journal-title":"J. Symbolic Comput."},{"key":"10.1016\/S0747-7171(03)00085-3_B10","series-title":"The Complexity of Robot Motion Planning","author":"Canny","year":"1988"},{"key":"10.1016\/S0747-7171(03)00085-3_B11","series-title":"Applied Algebra, Algebraic Algorithms and Error-correcting Codes (New Orleans, LA, 1991)","first-page":"1","article-title":"Algorithms for the shape of semialgebraic sets. A new approach","author":"Cellini","year":"1991"},{"key":"10.1016\/S0747-7171(03)00085-3_B12","series-title":"Some Tapas of Computer Algebra","author":"Cohen","year":"1999"},{"key":"10.1016\/S0747-7171(03)00085-3_B13","series-title":"Automata Theory and Formal Languages (Second GI Conf., Kaiserslautern, 1975)","first-page":"134","article-title":"Quantifier elimination for real closed fields by cylindrical algebraic decomposition","volume":"vol. 33","author":"Collins","year":"1975"},{"key":"10.1016\/S0747-7171(03)00085-3_B14","series-title":"Effective Methods in Algebraic Geometry (Castiglioncello, 1990)","first-page":"63","article-title":"On algorithms for real algebraic plane curves","author":"Cucker","year":"1991"},{"key":"10.1016\/S0747-7171(03)00085-3_B15","series-title":"Real Enriques Surfaces","volume":"vol. 1746","author":"Degtyarev","year":"2000"},{"key":"10.1016\/S0747-7171(03)00085-3_B16","article-title":"Some constructions for real algebraic curves","author":"Fortuna","year":"2003","journal-title":"Pubbl. Dip. Mat. Univ. Pisa, 1.285.1441"},{"key":"10.1016\/S0747-7171(03)00085-3_B17","series-title":"Applied Algebra, Algebraic Algorithms and Error-correcting Codes (Menorca, 1987)","first-page":"247","article-title":"Algebraic solution of systems of polynomial equations using Groebner bases","volume":"vol. 356","author":"Gianni","year":"1989"},{"key":"10.1016\/S0747-7171(03)00085-3_B18","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0747-7171(88)80040-3","article-title":"Gr\u00f6bner bases and primary decomposition of polynomial ideals","volume":"6","author":"Gianni","year":"1988","journal-title":"J. Symbolic Comput."},{"key":"10.1016\/S0747-7171(03)00085-3_B19","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF02825045","article-title":"Shape determination for real curves and surfaces","volume":"29","author":"Gianni","year":"1983","journal-title":"Ann. Univ. Ferrara Sez. VII (N.S.)"},{"key":"10.1016\/S0747-7171(03)00085-3_B20","doi-asserted-by":"crossref","unstructured":"Gonzalez-Vega, L., Lombardi, H., Recio, T., Roy, M.-F., 1989. Sturm-Habicht sequence. In: Proceedings of ISSAC\u201989. pp.\u00a0136\u2013145","DOI":"10.1145\/74540.74558"},{"key":"10.1016\/S0747-7171(03)00085-3_B21","series-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","first-page":"300","article-title":"Sturm-Habicht sequence, determinants and real roots of univariate polynomials","author":"Gonzalez-Vega","year":"1998"},{"key":"10.1016\/S0747-7171(03)00085-3_B22","series-title":"Some Tapas of Computer Algebra","first-page":"121","article-title":"Symbolic recipes for real solutions","author":"Gonzalez-Vega","year":"1999"},{"key":"10.1016\/S0747-7171(03)00085-3_B23","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF01200148","article-title":"Construction of roadmaps in semi-algebraic sets","volume":"4","author":"Gournay","year":"1993","journal-title":"Appl. Algebra Engrg. Comm. Comput."},{"key":"10.1016\/S0747-7171(03)00085-3_B24","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BF02568028","article-title":"Eine Verallgemeinerung des Sturmschen Wurzelz\u00e4hlverfahrens","volume":"21","author":"Habicht","year":"1948","journal-title":"Comment. Math. Helv."},{"key":"10.1016\/S0747-7171(03)00085-3_B25","series-title":"Algebraic Geometry and its Applications (West Lafayette, IN, 1990)","first-page":"449","article-title":"Single exponential path finding in semi-algebraic sets. II. The general case","author":"Heintz","year":"1994"},{"key":"10.1016\/S0747-7171(03)00085-3_B26","series-title":"Differential Topology","volume":"vol. 33","author":"Hirsch","year":"1976"},{"key":"10.1016\/S0747-7171(03)00085-3_B27","series-title":"Algebraic Topology: An Introduction","author":"Massey","year":"1977"},{"key":"10.1016\/S0747-7171(03)00085-3_B28","series-title":"A Basic Course in Algebraic Topology","author":"Massey","year":"1991"},{"key":"10.1016\/S0747-7171(03)00085-3_B29","series-title":"Morse Theory","author":"Milnor","year":"1963"},{"key":"10.1016\/S0747-7171(03)00085-3_B30","series-title":"Singular Points of Complex Hypersurfaces","volume":"vol.\u00a061","author":"Milnor","year":"1968"},{"key":"10.1016\/S0747-7171(03)00085-3_B31","first-page":"17","article-title":"Computation of the topology of a real curve","volume":"192","author":"Roy","year":"1990","journal-title":"Ast\u00e9risque"},{"key":"10.1016\/S0747-7171(03)00085-3_B32","series-title":"Lectures in Real Geometry (Madrid, 1994)","first-page":"1","article-title":"Basic algorithms in real algebraic geometry and their complexity: from Sturm\u2019s theorem to the existential theory of reals","volume":"vol. 23","author":"Roy","year":"1996"},{"key":"10.1016\/S0747-7171(03)00085-3_B33","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1070\/RM1986v041n03ABEH003317","article-title":"Progress in the topology of real algebraic varieties over the last six years","volume":"41","author":"Viro","year":"1986","journal-title":"Russian Math. Surveys"},{"key":"10.1016\/S0747-7171(03)00085-3_B34","doi-asserted-by":"crossref","unstructured":"Volcheck, E., 1997. On computing the dual of a plane algebraic curve. In: Proceedings of ISSAC\u201997. pp.\u00a0356\u2013358","DOI":"10.1145\/258726.258845"},{"issue":"1","key":"10.1016\/S0747-7171(03)00085-3_B35","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0040-9383(78)90012-5","article-title":"Hilbert\u2019s sixteenth problem","volume":"17","author":"Wilson","year":"1978","journal-title":"Topology"},{"key":"10.1016\/S0747-7171(03)00085-3_B36","series-title":"Contributions to General Algebra, vol. 12 (Vienna, 1999)","first-page":"51","article-title":"Advances and problems in algebraic computation","author":"Winkler","year":"2000"},{"key":"10.1016\/S0747-7171(03)00085-3_B37","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1006\/jsco.1998.0274","article-title":"Recent advances on determining the number of real roots of parametric polynomials","volume":"28","author":"Yang","year":"1999","journal-title":"J. Symbolic Comput."},{"key":"10.1016\/S0747-7171(03)00085-3_B38","first-page":"628","article-title":"A complete discrimination system for polynomials","volume":"6","author":"Yang","year":"1996","journal-title":"Sci. China Ser. E 39"},{"key":"10.1016\/S0747-7171(03)00085-3_B39","series-title":"Non-Linear Equation Systems and Automated Theorem Proving","author":"Yang","year":"1996"},{"key":"10.1016\/S0747-7171(03)00085-3_B40","first-page":"410","article-title":"Sur les differentes formes des courbes planes du quatrieme ordre","volume":"7","author":"Zeuthen","year":"1874","journal-title":"Math. Ann."}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717103000853?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717103000853?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,26]],"date-time":"2023-04-26T16:56:41Z","timestamp":1682528201000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717103000853"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":40,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S0747717103000853"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(03)00085-3","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}