{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T05:40:09Z","timestamp":1750830009078,"version":"3.41.0"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319663197"},{"type":"electronic","value":"9783319663203"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66320-3_5","type":"book-chapter","created":{"date-parts":[[2017,8,29]],"date-time":"2017-08-29T11:34:27Z","timestamp":1504006467000},"page":"51-65","source":"Crossref","is-referenced-by-count":2,"title":["Full Rank Representation of Real Algebraic Sets and Applications"],"prefix":"10.1007","author":[{"given":"Changbo","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenyuan","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,30]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-319-24021-3_3","volume-title":"Computer Algebra in Scientific Computing","author":"P Alvandi","year":"2015","unstructured":"Alvandi, P., Chen, C., Hashemi, A., Maza, M.M.: Regular chains under linear changes of coordinates and applications. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2015. LNCS, vol. 9301, pp. 30\u201344. Springer, Cham (2015). doi: 10.1007\/978-3-319-24021-3_3"},{"issue":"1\u20132","key":"5_CR2","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1006\/jsco.1999.0269","volume":"28","author":"P Aubry","year":"1999","unstructured":"Aubry, P., Lazard, D., Moreno Maza, M.: On the theories of triangular sets. J. Symb. Comput. 28(1\u20132), 105\u2013124 (1999)","journal-title":"J. Symb. Comput."},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1145\/2930889.2930910","volume":"2016","author":"D Brake","year":"2016","unstructured":"Brake, D., Hauenstein, J., Liddell, A.: Validating the completeness of the real solution set of a system of polynomial equations. ISSAC 2016, 143\u2013150 (2016)","journal-title":"ISSAC"},{"issue":"1","key":"5_CR4","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/BF02568441","volume":"67","author":"L Caire","year":"1990","unstructured":"Caire, L.: Plane curves as projections of non singular space curves. Manuscripta Math. 67(1), 433\u2013450 (1990)","journal-title":"Manuscripta Math."},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jsc.2011.12.014","volume":"49","author":"C Chen","year":"2013","unstructured":"Chen, C., Davenport, J., May, J., Moreno Maza, M., Xia, B., Xiao, R.: Triangular decomposition of semi-algebraic systems. J. Symb. Comput. 49, 3\u201326 (2013)","journal-title":"J. Symb. Comput."},{"issue":"6","key":"5_CR6","doi-asserted-by":"crossref","first-page":"610","DOI":"10.1016\/j.jsc.2011.12.023","volume":"47","author":"C Chen","year":"2012","unstructured":"Chen, C., Moreno Maza, M.: Algorithms for computing triangular decomposition of polynomial systems. J. Symb. Comput. 47(6), 610\u2013642 (2012)","journal-title":"J. Symb. Comput."},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-319-45641-6_11","volume-title":"Computer Algebra in Scientific Computing","author":"C Chen","year":"2016","unstructured":"Chen, C., Wu, W.: A numerical method for computing border curves of bi-parametric real polynomial systems and applications. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2016. LNCS, vol. 9890, pp. 156\u2013171. Springer, Cham (2016). doi: 10.1007\/978-3-319-45641-6_11"},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/1390768.1390778","volume":"2008","author":"D Daouda","year":"2008","unstructured":"Daouda, D., Mourrain, B., Ruatta, O.: On the computation of the topology of a non-reduced implicit space curve. ISSAC 2008, 47\u201354 (2008)","journal-title":"ISSAC"},{"key":"5_CR9","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5350-1","volume-title":"Commutative Algebra: With a View Toward Algebraic Geometry","author":"D Eisenbud","year":"2013","unstructured":"Eisenbud, D.: Commutative Algebra: With a View Toward Algebraic Geometry. Graduate Texts in Mathematics, vol. 150. Springer, Heidelberg (2013). doi: 10.1007\/978-1-4612-5350-1"},{"key":"5_CR10","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3849-0","volume-title":"Algebraic Geometry","author":"R Hartshorne","year":"1997","unstructured":"Hartshorne, R.: Algebraic Geometry. Graduate Texts in Mathematics, vol. 52. Springer, Heidelberg (1997). doi: 10.1007\/978-1-4757-3849-0"},{"issue":"1","key":"5_CR11","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/s10440-012-9782-3","volume":"125","author":"JD Hauenstein","year":"2012","unstructured":"Hauenstein, J.D.: Numerically computing real points on algebraic sets. Acta Appl. Math. 125(1), 105\u2013119 (2012)","journal-title":"Acta Appl. Math."},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1016\/j.jsc.2016.07.015","volume":"79","author":"J Hauenstein","year":"2017","unstructured":"Hauenstein, J., Sommese, A.: What is numerical algebraic geometry. J. Symb. Comp. 79, 499\u2013507 (2017). Part 3","journal-title":"J. Symb. Comp."},{"issue":"7","key":"5_CR13","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1016\/j.jsc.2011.05.014","volume":"47","author":"H Hong","year":"2012","unstructured":"Hong, H., El Din, M.S.: Variant quantifier elimination. J. Symb. Comp. 47(7), 883\u2013901 (2012)","journal-title":"J. Symb. Comp."},{"issue":"4","key":"5_CR14","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/S0378-4754(96)00034-1","volume":"42","author":"H Hong","year":"1996","unstructured":"Hong, H.: An efficient method for analyzing the topology of plane real algebraic curves. Math. Comput. Simul. 42(4), 571\u2013582 (1996)","journal-title":"Math. Comput. Simul."},{"key":"5_CR15","first-page":"78","volume":"2015","author":"R Imbach","year":"2016","unstructured":"Imbach, R., Moroz, G., Pouget, M.: Numeric and certified isolation of the singularities of the projection of a smooth space curve. MACIS 2015, 78\u201392 (2016)","journal-title":"MACIS"},{"key":"5_CR16","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1145\/2631948.2631970","volume":"2014","author":"K Jin","year":"2014","unstructured":"Jin, K., Cheng, J.: Isotopic epsilon-meshing of real algebraic space curves. SNC 2014, 118\u2013127 (2014)","journal-title":"SNC"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-319-24021-3_19","volume-title":"Computer Algebra in Scientific Computing","author":"K Jin","year":"2015","unstructured":"Jin, K., Cheng, J.-S., Gao, X.-S.: On the topology and visualization of plane algebraic curves. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2015. LNCS, vol. 9301, pp. 245\u2013259. Springer, Cham (2015). doi: 10.1007\/978-3-319-24021-3_19"},{"key":"5_CR18","first-page":"137","volume-title":"Nonlinear Computational Geometry","author":"O Labs","year":"2010","unstructured":"Labs, O.: A list of challenges for real algebraic plane curve visualization software. In: Emiris, I.Z., Sottile, F., Theobald, T. (eds.) Nonlinear Computational Geometry, pp. 137\u2013164. Springer, New York (2010)"},{"issue":"5","key":"5_CR19","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/s10208-007-9004-y","volume":"8","author":"J Lasserre","year":"2008","unstructured":"Lasserre, J., Laurent, M., Rostalski, P.: Semidefinite characterization and computation of zero-dimensional real radical ideals. Found. Comput. Math. 8(5), 607\u2013647 (2008)","journal-title":"Found. Comput. Math."},{"issue":"3","key":"5_CR20","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/s102080010026","volume":"2","author":"G Lecerf","year":"2002","unstructured":"Lecerf, G.: Quadratic newton iteration for systems with multiplicity. Found. Comput. Math. 2(3), 247\u2013293 (2002)","journal-title":"Found. Comput. Math."},{"key":"5_CR21","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9982-5","volume-title":"Introduction to Smooth Manifolds","author":"JM Lee","year":"2003","unstructured":"Lee, J.M.: Introduction to Smooth Manifolds. Graduate Texts in Mathematics, vol. 218. Springer, Heidelberg (2003). doi: 10.1007\/978-1-4419-9982-5"},{"key":"5_CR22","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1145\/1390768.1390793","volume":"2008","author":"A Leykin","year":"2008","unstructured":"Leykin, A.: Numerical primary decomposition. ISSAC 2008, 165\u2013172 (2008)","journal-title":"ISSAC"},{"issue":"1","key":"5_CR23","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.tcs.2006.02.018","volume":"359","author":"A Leykin","year":"2006","unstructured":"Leykin, A., Verschelde, J., Zhao, A.: Newton\u2019s method with deflation for isolated singularities of polynomial systems. TCS 359(1), 111\u2013122 (2006)","journal-title":"TCS"},{"key":"5_CR24","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1017\/S0962492900002749","volume":"6","author":"TY Li","year":"1997","unstructured":"Li, T.Y.: Numerical solution of multivariate polynomial systems by homotopy continuation methods. Acta Numerica 6, 399\u2013436 (1997)","journal-title":"Acta Numerica"},{"key":"5_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jsc.2014.12.002","volume":"72","author":"Y Ma","year":"2016","unstructured":"Ma, Y., Wang, C., Zhi, L.: A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals. J. Symb. Comput. 72, 1\u201320 (2016)","journal-title":"J. Symb. Comput."},{"key":"5_CR26","first-page":"249","volume":"2011","author":"A Mantzaflaris","year":"2011","unstructured":"Mantzaflaris, A., Mourrain, B.: Deflation and certified isolation of singular zeros of polynomial systems. ISSAC 2011, 249\u2013256 (2011)","journal-title":"ISSAC"},{"key":"5_CR27","volume-title":"Complex Manifolds","author":"JA Morrow","year":"1971","unstructured":"Morrow, J.A., Kodaira, K.: Complex Manifolds, vol. 355. American Mathematical Society, Providence (1971)"},{"issue":"2","key":"5_CR28","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1016\/0022-247X(83)90055-0","volume":"96","author":"T Ojika","year":"1983","unstructured":"Ojika, T., Watanabe, S., Mitsui, T.: Deflation algorithm for the multiple roots of a system of nonlinear equations. J. Math. Anal. Appl. 96(2), 463\u2013479 (1983)","journal-title":"J. Math. Anal. Appl."},{"issue":"2","key":"5_CR29","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/s10107-003-0387-5","volume":"96","author":"P Parrilo","year":"2003","unstructured":"Parrilo, P.: Semidefinite programming relaxations for semialgebraic problems. Math. Program. 96(2), 293\u2013320 (2003)","journal-title":"Math. Program."},{"issue":"4","key":"5_CR30","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1006\/jcom.2000.0563","volume":"16","author":"F Rouillier","year":"2000","unstructured":"Rouillier, F., Roy, M.F., El Din, M.S.: Finding at least one point in each connected component of a real algebraic set defined by a single equation. J. Complex. 16(4), 716\u2013750 (2000)","journal-title":"J. Complex."},{"issue":"3","key":"5_CR31","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/s00454-004-1107-5","volume":"32","author":"MS Din El","year":"2004","unstructured":"El Din, M.S., Schost, \u00c9.: Properness defects of projections and computation of at least one point in each connected component of a real algebraic set. Discrete Comput. Geom. 32(3), 417\u2013430 (2004)","journal-title":"Discrete Comput. Geom."},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"El Din, M.S., Spaenlehauer, P.: Critical point computations on smooth varieties: degree and complexity bounds. In: ISSAC 2016, pp. 183\u2013190 (2016)","DOI":"10.1145\/2930889.2930929"},{"issue":"6","key":"5_CR33","doi-asserted-by":"crossref","first-page":"2022","DOI":"10.1137\/S0036142900372549","volume":"38","author":"A Sommese","year":"2001","unstructured":"Sommese, A., Verschelde, J., Wampler, C.: Numerical decomposition of the solution sets of polynomial systems into irreducible components. SIAM J. Numer. Anal. 38(6), 2022\u20132046 (2001)","journal-title":"SIAM J. Numer. Anal."},{"key":"5_CR34","doi-asserted-by":"crossref","DOI":"10.1142\/5763","volume-title":"The Numerical Solution of Systems of Polynomials Arising in Engineering and Science","author":"A Sommese","year":"2005","unstructured":"Sommese, A., Wampler, C.: The Numerical Solution of Systems of Polynomials Arising in Engineering and Science. World Scientific Press, Singapore (2005)"},{"key":"5_CR35","first-page":"339","volume":"2013","author":"W Wu","year":"2013","unstructured":"Wu, W., Reid, G.: Finding points on real solution components and applications to differential polynomial systems. ISSAC 2013, 339\u2013346 (2013)","journal-title":"ISSAC"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66320-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T05:09:12Z","timestamp":1750828152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66320-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663197","9783319663203"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66320-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}