{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:10:11Z","timestamp":1762323011909,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540289661"},{"type":"electronic","value":"9783540320708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11555964_13","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:25:34Z","timestamp":1127831134000},"page":"150-161","source":"Crossref","is-referenced-by-count":7,"title":["Real Solving of Bivariate Polynomial Systems"],"prefix":"10.1007","author":[{"given":"Ioannis Z.","family":"Emiris","sequence":"first","affiliation":[]},{"given":"Elias P.","family":"Tsigaridas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Algorithms and Computation in Mathematics","author":"S. Basu","year":"2003","unstructured":"Basu, S., Pollack, R., Roy, M.-F.: Algorithms in Real Algebraic Geometry. Algorithms and Computation in Mathematics, vol.\u00a010. Springer, Heidelberg (2003)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Bus\u00e9, L., Mourrain, B., Khalil, H.: Resultant-based methods for curves intersection problems (manuscript) (2005)","DOI":"10.1007\/11555964_7"},{"key":"13_CR3","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-6911-1","volume-title":"Using Algebraic Geometry","author":"D. Cox","year":"1998","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Using Algebraic Geometry. Graduate Texts in Mathematics, vol.\u00a0185. Springer, New York (1998)"},{"key":"13_CR4","volume-title":"Computer Algebra","author":"J.H. Davenport","year":"1988","unstructured":"Davenport, J.H., Siret, Y., Tournier, E.: Computer Algebra. Academic Press, London (1988)"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1142\/9789812777171_0024","volume-title":"Proc. Int. Conf. Math. Software","author":"G. Reis Dos","year":"2002","unstructured":"Dos Reis, G., Mourrain, B., Rouillier, R., Tr\u00e9buchet, P.: An environment for symbolic and numeric computation. In: Proc. Int. Conf. Math. Software, pp. 239\u2013249. World Scientific, Singapore (2002)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Dupont, L., Lazard, D., Lazard, S., Petitjean, S.: Near-optimal parameterization of the intersection of quadrics. In: Proc. ACM SoCG, pp. 246\u2013255 (June 2003)","DOI":"10.1145\/777792.777830"},{"key":"13_CR7","unstructured":"Emiris, I.Z., Tsigaridas, E.P.: Real algebraic numbers and polynomial systems of small degree (manuscript) (2005), http:\/\/www.di.uoa.gr\/~et"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Emiris, I.Z., Kakargias, A.V., Teillaud, M., Tsigaridas, E.P., Pion, S.: Towards an open curved kernel. In: Proc. ACM SoCG, New York, pp. 438\u2013446 (2004)","DOI":"10.1145\/997817.997882"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"652","DOI":"10.1007\/978-3-540-30140-0_58","volume-title":"Algorithms \u2013 ESA 2004","author":"I.Z. Emiris","year":"2004","unstructured":"Emiris, I.Z., Tsigaridas, E.P.: Computing with real algebraic numbers of small degree. In: Albers, S., Radzik, T. (eds.) ESA 2004. LNCS, vol.\u00a03221, pp. 652\u2013663. Springer, Heidelberg (2004)"},{"issue":"9","key":"13_CR10","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1016\/S0167-8396(02)00167-X","volume":"19","author":"L. Gonzalez-Vega","year":"2002","unstructured":"Gonzalez-Vega, L., Necula, I.: Efficient topology determination of implicitly defined algebraic plane curves. Comp. Aided Geom. Design\u00a019(9), 719\u2013743 (2002)","journal-title":"Comp. Aided Geom. Design"},{"key":"13_CR11","unstructured":"Guibas, L.J., Karavelas, M.I., Russel, D.: A computational framework for handling motion. In: Proc. 6th Work. Algor. Engin. & Experim (ALENEX) (2004)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Hemmer, M., Sch\u00f6mer, E., Wolpert, N.: Computing a 3-dimensional cell in an arrangement of quadrics: Exactly and actually! In: Proc. Annual ACM Symp. Comput. Geometry, pp. 264\u2013273 (2001)","DOI":"10.1145\/378583.378689"},{"key":"13_CR13","unstructured":"El Kahoui, M.: Computing with algebraic curves in generic position (2005) (submitted), http:\/\/www.mpi-sb.mpg.de\/~elkahoui"},{"key":"13_CR14","first-page":"360","volume-title":"Proc. Annual ACM Symp. Comput. Geometry","author":"J. Keyser","year":"1999","unstructured":"Keyser, J., Culver, T., Manocha, D., Krishnan, S.: MAPC: A library for efficient and exact manipulation of algebraic points and curves. In: Proc. Annual ACM Symp. Comput. Geometry, June 1999, pp. 360\u2013369. ACM Press, New York (1999)"},{"issue":"2","key":"13_CR15","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0010-4485(03)00060-5","volume":"36","author":"J. Keyser","year":"2004","unstructured":"Keyser, J., Culver, T., Manocha, D., Krishnan, S.: ESOLID: A system for exact boundary evaluation. Comp. Aided Design\u00a036(2), 175\u2013193 (2004)","journal-title":"Comp. Aided Design"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Keyser, J., Ouchi, K., Rojas, M.: The Exact Rational Univariate Representation for Detecting Degeneracies. DIMACS: Series in Discrete Mathematics and Theoretical Computer Science. AMS Press (2004) (to appear)","DOI":"10.1090\/dimacs\/067\/12"},{"issue":"4","key":"13_CR17","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1006\/jcom.1996.0033","volume":"12","author":"T. Lickteig","year":"1996","unstructured":"Lickteig, T., Roy, M.-F.: Semi-algebraic complexity of quotients and sign determination of remainders. J. Complexity\u00a012(4), 545\u2013571 (1996)","journal-title":"J. Complexity"},{"key":"13_CR18","unstructured":"Mourrain, B., Pavone, J.P., Tr\u00e9buchet, P., Tsigaridas, E.: SYNAPS, a library for symbolic-numeric computation. In: 8th Int. Symp. on Effective Methods in Algebraic Geometry, MEGA, Italy (May 2005)"},{"key":"13_CR19","unstructured":"Mourrain, B., Tr\u00e9buchet, Ph.: Algebraic methods for numerical solving. In: Proc. of the 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing 2001, Timisoara, Romania, pp. 42\u201357 (2002)"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Mourrain, B., Vrahatis, M., Yakoubsohn, J.C.: On the complexity of isolating real roots and computing with certainty the topological degree. J. Complexity\u00a018(2) (2002)","DOI":"10.1006\/jcom.2001.0636"},{"issue":"5","key":"13_CR21","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/s002000050114","volume":"9","author":"F. Rouillier","year":"1999","unstructured":"Rouillier, F.: Solving zero-dimensional systems through the rational univariate representation. Journal of Applicable Algebra in Engineering, Communication and Computing\u00a09(5), 433\u2013461 (1999)","journal-title":"Journal of Applicable Algebra in Engineering, Communication and Computing"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Sakkalis, T.: Signs of algebraic numbers. Computers and Mathematics, 131\u2013134 (1989)","DOI":"10.1007\/978-1-4613-9647-5_16"},{"key":"13_CR23","volume-title":"Proc. Computer Algebra in Science and Engineering","author":"V. Weispfenning","year":"1995","unstructured":"Weispfenning, V.: Solving parametric polynomial equations and inequalities by symbolic algorithms. In: Proc. Computer Algebra in Science and Engineering. World Scientific, Singapore (1995)"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Wolpert, N., Seidel, R.: On the Exact Computation of the Topology of Real Algebraic Curves. In: Proc. ACM SoCG, Pisa, pp. 107\u2013115 (2004)","DOI":"10.1145\/1064092.1064111"},{"key":"13_CR25","volume-title":"Fundamental Problems of Algorithmic Algebra","author":"C.K. Yap","year":"2000","unstructured":"Yap, C.K.: Fundamental Problems of Algorithmic Algebra. Oxford University Press, New York (2000)"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11555964_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T15:50:25Z","timestamp":1736005825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11555964_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540289661","9783540320708"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11555964_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}