{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:41:37Z","timestamp":1725745297789},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319022963"},{"type":"electronic","value":"9783319022970"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-02297-0_3","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T07:37:38Z","timestamp":1376465858000},"page":"30-45","source":"Crossref","is-referenced-by-count":10,"title":["Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One"],"prefix":"10.1007","author":[{"given":"Parisa","family":"Alvandi","sequence":"first","affiliation":[]},{"given":"Changbo","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Marc Moreno","family":"Maza","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Alonso, M.E., Mora, T., Niesi, G., Raimondo, M.: An algorithm for computing analytic branches of space curves at singular points. In: Proc. of the 1992 International Workshop on Mathematics Mechanization, pp. 135\u2013166 (1992)","key":"3_CR1","DOI":"10.1007\/978-3-642-77586-4_5"},{"doi-asserted-by":"crossref","unstructured":"Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Representation for the radical of a finitely generated differential ideal. In: Proc. of ISSAC 1995, pp. 158\u2013166 (1995)","key":"3_CR2","DOI":"10.1145\/220346.220367"},{"unstructured":"Boulier, F., Lemaire, F., Moreno Maza, M.: Well known theorems on triangular systems and the D5 principle. In: Proc. of Transgressive Computing 2006, Granada, Spain, pp. 79\u201391 (2006)","key":"3_CR3"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jsc.2011.12.014","volume":"49","author":"C. Chen","year":"2013","unstructured":"Chen, C., Davenport, J.H., May, J.P., Moreno Maza, M., Xia, B., Xiao, R.: Triangular decomposition of semi-algebraic systems. J. Symb. Comput.\u00a049, 3\u201326 (2013)","journal-title":"J. Symb. Comput."},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-75187-8_7","volume-title":"Computer Algebra in Scientific Computing","author":"C. Chen","year":"2007","unstructured":"Chen, C., Golubitsky, O., Lemaire, F., Maza, M.M., Pan, W.: Comprehensive triangular decomposition. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2007. LNCS, vol.\u00a04770, pp. 73\u2013101. Springer, Heidelberg (2007)"},{"issue":"6","key":"3_CR6","doi-asserted-by":"publisher","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.\u00a047(6), 610\u2013642 (2012)","journal-title":"J. Symb. Comput."},{"doi-asserted-by":"crossref","unstructured":"Chen, C., Moreno Maza, M., Xia, B., Yang, L.: Computing cylindrical algebraic decomposition via triangular decomposition. In: Proc. of ISSAC 2009, pp. 95\u2013102 (2009)","key":"3_CR7","DOI":"10.1145\/1576702.1576718"},{"issue":"6","key":"3_CR8","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1006\/jsco.1993.1065","volume":"16","author":"S.C. Chou","year":"1993","unstructured":"Chou, S.C., Gao, X.S.: A zero structure theorem for differential parametric systems. J. Symb. Comput.\u00a016(6), 585\u2013595 (1993)","journal-title":"J. Symb. Comput."},{"doi-asserted-by":"crossref","unstructured":"Della Dora, J., Dicrescenzo, C., Duval, D.: About a new method for computing in algebraic number fields. In: Proc. of EUROCAL 1985, pp. 289\u2013290 (1985)","key":"3_CR9","DOI":"10.1007\/3-540-15984-3_279"},{"issue":"2","key":"3_CR10","first-page":"119","volume":"70","author":"D. Duval","year":"1989","unstructured":"Duval, D.: Rational Puiseux expansions. Compos. Math.\u00a070(2), 119\u2013154 (1989)","journal-title":"Compos. Math."},{"doi-asserted-by":"crossref","unstructured":"Fischer, G.: Plane Algebraic Curves. American Mathematical Society (2001)","key":"3_CR11","DOI":"10.1090\/stml\/015"},{"issue":"9","key":"3_CR12","doi-asserted-by":"publisher","first-page":"1137","DOI":"10.1016\/j.jsc.2008.02.010","volume":"44","author":"X.S. Gao","year":"2009","unstructured":"Gao, X.S., Van der Hoeven, J., Yuan, C.M., Zhang, G.L.: Characteristic set method for differential-difference polynomial systems. J. Symb. Comput.\u00a044(9), 1137\u20131163 (2009)","journal-title":"J. Symb. Comput."},{"issue":"4-5","key":"3_CR13","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1006\/jsco.1999.0344","volume":"29","author":"E. Hubert","year":"2000","unstructured":"Hubert, E.: Factorization-free decomposition algorithms in differential algebra. J. Symb. Comput.\u00a029(4-5), 641\u2013662 (2000)","journal-title":"J. Symb. Comput."},{"issue":"5","key":"3_CR14","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1006\/jsco.1998.0227","volume":"26","author":"M. Kalkbrener","year":"1998","unstructured":"Kalkbrener, M.: Algorithmic properties of polynomial rings. J. Symb. Comput.\u00a026(5), 525\u2013581 (1998)","journal-title":"J. Symb. Comput."},{"issue":"12","key":"3_CR15","doi-asserted-by":"publisher","first-page":"1291","DOI":"10.1016\/j.jsc.2011.08.010","volume":"46","author":"F. Lemaire","year":"2011","unstructured":"Lemaire, F., Moreno Maza, M., Pan, W., Xie, Y.: When does \u2329t \u232a equal sat(t)? J. Symb. Comput.\u00a046(12), 1291\u20131305 (2011)","journal-title":"J. Symb. Comput."},{"doi-asserted-by":"crossref","unstructured":"Lemaire, F., Moreno Maza, M., Xie, Y.: The RegularChains library. In: Maple 10, Maplesoft, Canada (2005); refereed software","key":"3_CR16","DOI":"10.1145\/1113439.1113456"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-32973-9_17","volume-title":"Computer Algebra in Scientific Computing","author":"S. Marcus","year":"2012","unstructured":"Marcus, S., Maza, M.M., Vrbik, P.: On fulton\u2019s algorithm for computing intersection multiplicities. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2012. LNCS, vol.\u00a07442, pp. 198\u2013211. Springer, Heidelberg (2012)"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF01298184","volume":"32","author":"J. Maurer","year":"1980","unstructured":"Maurer, J.: Puiseux expansion for space curves. Manuscripta Math.\u00a032, 91\u2013100 (1980)","journal-title":"Manuscripta Math."},{"doi-asserted-by":"crossref","unstructured":"Mumford, D.: The Red Book of Varieties and Schemes, 2nd edn. Springer (1999)","key":"3_CR19","DOI":"10.1007\/b62130"},{"unstructured":"Munkres, J.R.: Topology, 2nd edn. Prentice Hall (2000)","key":"3_CR20"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.jalgebra.2012.05.003","volume":"365","author":"A. Parusi\u0144ski","year":"2012","unstructured":"Parusi\u0144ski, A., Rond, G.: The Abhyankar-Jung theorem. J. Algebra\u00a0365, 29\u201341 (2012)","journal-title":"J. Algebra"},{"doi-asserted-by":"crossref","unstructured":"Ritt, J.F.: Differential Equations from an Algebraic Standpoint, vol.\u00a014. American Mathematical Society (1932)","key":"3_CR22","DOI":"10.1090\/coll\/014"},{"issue":"3","key":"3_CR23","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1006\/jsco.1996.0052","volume":"22","author":"T. Shimoyama","year":"1996","unstructured":"Shimoyama, T., Yokoyama, K.: Localization and primary decomposition of polynomial ideals. J. Symb. Comput.\u00a022(3), 247\u2013277 (1996)","journal-title":"J. Symb. Comput."},{"issue":"4","key":"3_CR24","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1006\/jsco.1994.1051","volume":"18","author":"M. Hoeij van","year":"1994","unstructured":"van Hoeij, M.: An algorithm for computing an integral basis in an algebraic function field. J. Symb. Comput.\u00a018(4), 353\u2013363 (1994)","journal-title":"J. Symb. Comput."},{"doi-asserted-by":"crossref","unstructured":"Walker, R.J.: Algebraic Curves. Springer (1978)","key":"3_CR25","DOI":"10.1007\/978-1-4612-6323-4"},{"unstructured":"Wang, D.K.: The Wsolve package, \n                  \n                    http:\/\/www.mmrc.iss.ac.cn\/~dwang\/wsolve.html","key":"3_CR26"},{"unstructured":"Wang, D.M.: Epsilon 0.618, \n                  \n                    http:\/\/www-calfor.lip6.fr\/~wang\/epsilon","key":"3_CR27"},{"issue":"1","key":"3_CR28","first-page":"33","volume":"44","author":"L. Yang","year":"2001","unstructured":"Yang, L., Hou, X.R., Xia, B.: A complete algorithm for automated discovering of a class of inequality-type theorems. Science in China, Series F\u00a044(1), 33\u201349 (2001)","journal-title":"Science in China, Series F"}],"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-02297-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T12:31:17Z","timestamp":1558009877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-02297-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319022963","9783319022970"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02297-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}