{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T13:18:21Z","timestamp":1758633501298},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2020,11,7]],"date-time":"2020-11-07T00:00:00Z","timestamp":1604707200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,7]],"date-time":"2020-11-07T00:00:00Z","timestamp":1604707200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s11424-020-9316-4","type":"journal-article","created":{"date-parts":[[2020,11,7]],"date-time":"2020-11-07T07:02:27Z","timestamp":1604732547000},"page":"2410-2427","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["An Improvement of the Rational Representation for High-Dimensional Systems"],"prefix":"10.1007","volume":"34","author":[{"given":"Fanghui","family":"Xiao","sequence":"first","affiliation":[]},{"given":"Dong","family":"Lu","sequence":"additional","affiliation":[]},{"given":"Xiaodong","family":"Ma","sequence":"additional","affiliation":[]},{"given":"Dingkang","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,11,7]]},"reference":[{"key":"9316_CR1","series-title":"Vol. I: Part of Elementary Geometries","volume-title":"Basic Principles of Mechanical Theorem Proving in Geometries","author":"W T Wu","year":"1984","unstructured":"Wu W T, Basic Principles of Mechanical Theorem Proving in Geometries, Vol. I: Part of Elementary Geometries, Science Press, Beijing, 1984 (in Chinese)."},{"key":"9316_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0913-3","volume-title":"Gr\u00f6bner Bases","author":"T Becker","year":"1993","unstructured":"Becker T and Weispfenning V, Gr\u00f6bner Bases, Springer-Verlag, New York, 1993."},{"key":"9316_CR3","volume-title":"Using Algebra Geometry","author":"D Cox","year":"2005","unstructured":"Cox D, Little J, and O\u2019shea D, Using Algebra Geometry, 2nd Edition, Springer, New York, 2005.","edition":"2nd Edition"},{"key":"9316_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-0348-6303-2_2","volume":"86","author":"W Auzinger","year":"1988","unstructured":"Auzinger W and Stetter H J, An elimination algorithm for the computation of all zeros of a system of multivariate polynomial equations, Inter., Series of Number. Math., 1988, 86: 11\u201330.","journal-title":"Inter.,Series of Number. Math."},{"issue":"4","key":"9316_CR5","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/242961.242966","volume":"30","author":"H J Stetter","year":"1996","unstructured":"Stetter H J, Matrix eigenproblem are at the heart of polynomial system solving, ACM SIGSAM Bull., 1996, 30(4): 27\u201336.","journal-title":"ACM SIGSAM Bull."},{"key":"9316_CR6","first-page":"139","volume":"358","author":"H Kobayashi","year":"1988","unstructured":"Kobayashi H, Fujise T, and Furukawa A, Solving systems of algebraic equations, Poceedings of the ISSAC88, Springer Lecture Notes in Computer Science, 1988, 358: 139\u2013149.","journal-title":"Poceedings of the ISSAC88"},{"key":"9316_CR7","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/0747-7171(92)90014-U","volume":"14","author":"K Yokoyama","year":"1992","unstructured":"Yokoyama K, Noro M, and Takeshima T, Solutions of systems of algebraic equations and linear maps on residue class rings, J. Symbolic Comput., 1992, 14: 399\u2013417.","journal-title":"J. Symbolic Comput."},{"issue":"1","key":"9316_CR8","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(81)90064-5","volume":"15","author":"D Lazard","year":"1981","unstructured":"Lazard D, Resolution des systemes d\u2019equations algebriques, Theor. Comp. Sci., 1981, 15(1): 77\u2013110.","journal-title":"Theor. Comp. Sci."},{"key":"9316_CR9","first-page":"146","volume":"162","author":"D Lazard","year":"1983","unstructured":"Lazard D, Grobner bases, Gaussian elimination and resolution of system of algebraic equations, Proc. EUROCAL\u201983, Springer Lecture Notes in Computer Science, 1983, 162: 146\u2013156.","journal-title":"Proc. EUROCAL\u201983"},{"key":"9316_CR10","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0747-7171(08)80086-7","volume":"13","author":"D Lazard","year":"1992","unstructured":"Lazard D, Solving zero-dimensional algebraic systems, J. Symbolic Comput., 1992, 13: 117\u2013133.","journal-title":"J. Symbolic Comput."},{"issue":"5","key":"9316_CR11","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, Appl. Algebra ENngrg. Comm. Comput., 1999, 9(5): 433\u2013461.","journal-title":"Appl. Algebra ENngrg. Comm. Comput."},{"key":"9316_CR12","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1006\/jsco.1999.0275","volume":"28","author":"M Noro","year":"1999","unstructured":"Noro M and Yokoyama K, A modular method to compute the rational univariate representation of zero-dimensional ideals, J. Symbolic Comput., 1999, 28: 243\u2013263.","journal-title":"J. Symbolic Comput."},{"issue":"11","key":"9316_CR13","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1016\/j.jsc.2008.02.002","volume":"43","author":"K Ouchi","year":"2008","unstructured":"Ouchi K and Keyser J, Rational univariate reduction via toric resultants, J. Symbolic Comput., 2008, 43(11): 811\u2013844.","journal-title":"J. Symbolic Comput."},{"issue":"10","key":"9316_CR14","doi-asserted-by":"publisher","first-page":"999","DOI":"10.1360\/012010-251","volume":"40","author":"G X Zeng","year":"2010","unstructured":"Zeng G X and Xiao S J, Computing the rational univariate representations for zero-dimensional systems by Wu s method, Sci. Sin. Math., 2010, 40(10): 999\u20131016.","journal-title":"Sci. Sin. Math."},{"issue":"6","key":"9316_CR15","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1007\/s11425-012-4404-0","volume":"55","author":"X D Ma","year":"2012","unstructured":"Ma X D, Sun Y, and Wang D K, Computing polynomial univariate representations of zero-dimensional ideals by Grobner basis, Sci. China Math., 2012, 55(6): 1293\u20131302.","journal-title":"Sci. China Math."},{"key":"9316_CR16","series-title":"Ph.D. thesis","volume-title":"The rational representation for solving polynomial systems","author":"C Tan","year":"2009","unstructured":"Tan C, The rational representation for solving polynomial systems, Ph.D. thesis, Jilin University, Changchun, 2009 (in Chinese)."},{"issue":"2","key":"9316_CR17","first-page":"119","volume":"26","author":"C Tan","year":"2010","unstructured":"Tan C and Zhang S G, Computation of the rational representation for solutions of high-dimensional systems, Comm. Math. Res., 2010, 26(2): 119\u2013130.","journal-title":"Comm. Math. Res."},{"issue":"6","key":"9316_CR18","doi-asserted-by":"publisher","first-page":"1470","DOI":"10.1007\/s11424-017-6324-0","volume":"30","author":"B X Shang","year":"2017","unstructured":"Shang B X, Zhang S G, Tan C, et al., A simplified rational representation for positive-dimensional polynomial systems and SHEPWM equation solving, Journal of Systems Science & Complexity, 2017, 30(6): 1470\u20131482.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"5","key":"9316_CR19","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s00200-002-0109-x","volume":"13","author":"E Schost","year":"2003","unstructured":"Schost E, Computing parametric geometric resolutions, Applicable Algebra in Engineering, Communication and Computing, 2003, 13(5): 349\u2013393.","journal-title":"Applicable Algebra in Engineering,Communication and Computing"},{"key":"9316_CR20","doi-asserted-by":"crossref","unstructured":"Safey El Din M, Yang Z H, and Zhi L H, On the complexity of computing real radicals of polynomial systems, Proceedings of the ISSAC 2018, New York, USA, 351\u2013358.","DOI":"10.1145\/3208976.3209002"},{"key":"9316_CR21","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.jsc.2011.12.015","volume":"49","author":"D Kapur","year":"2013","unstructured":"Kapur D, Sun Y, and Wang D K, An efficient algorithm for computing a comprehensive Grobner system of a parametric polynomial systems, J. Symbolic Comput., 2013, 49: 27\u201344.","journal-title":"J. Symbolic Comput."},{"key":"9316_CR22","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1006\/jsco.1997.0113","volume":"24","author":"M Kalkbrener","year":"1997","unstructured":"Kalkbrener M, On the stability of Grobner bases under specializations, J. Symbolic Comput., 1997, 24: 51\u201358.","journal-title":"J. Symbolic Comput."},{"key":"9316_CR23","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1006\/jsco.2001.0504","volume":"33","author":"A Montes","year":"2002","unstructured":"Montes A, A new algorithm for discussing Grobner basis with parameters, J. Symbolic Comput., 2002, 33: 183\u2013208.","journal-title":"J. Symbolic Comput."},{"key":"9316_CR24","doi-asserted-by":"crossref","unstructured":"Suzuki A and Sato Y, A simple algorithm to compute comprehensive Grobner bases using Grobner bases, Poceedings of the ISSAC2006, New York, 2006, 326\u2013331.","DOI":"10.1145\/1145768.1145821"},{"key":"9316_CR25","doi-asserted-by":"crossref","unstructured":"Nabeshima K, A speed-up of the algorithm for computing comprehensive Grobner systems, Poceedings of the ISSAC 2007, New York, 2007, 299\u2013306.","DOI":"10.1145\/1277548.1277589"}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-020-9316-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11424-020-9316-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-020-9316-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,11]],"date-time":"2022-01-11T07:10:27Z","timestamp":1641885027000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11424-020-9316-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,7]]},"references-count":25,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["9316"],"URL":"https:\/\/doi.org\/10.1007\/s11424-020-9316-4","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,7]]},"assertion":[{"value":"20 November 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 March 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 November 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}