{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:47:19Z","timestamp":1725544039513},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642114397"},{"type":"electronic","value":"9783642114403"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11440-3_24","type":"book-chapter","created":{"date-parts":[[2010,2,2]],"date-time":"2010-02-02T16:03:36Z","timestamp":1265126616000},"page":"263-268","source":"Crossref","is-referenced-by-count":0,"title":["Real Root Isolation of Multi-Exponential Polynomials with Application"],"prefix":"10.1007","author":[{"given":"Ming","family":"Xu","sequence":"first","affiliation":[]},{"given":"Liangyu","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Zhenbing","family":"Zeng","sequence":"additional","affiliation":[]},{"given":"Zhi-bin","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","volume-title":"Theory of Equations","author":"J.V. Uspensky","year":"1948","unstructured":"Uspensky, J.V.: Theory of Equations. McGraw-Hill, New York (1948)"},{"key":"24_CR2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-7091-7551-4_7","volume-title":"Computer Algebra: Symbolic and Algebraic Computation","author":"G.E. Collins","year":"1983","unstructured":"Collins, G.E., Loos, R.: Real zeros of polynomials. In: Buchberger, B., Collins, G.E., Loos, R. (eds.) Computer Algebra: Symbolic and Algebraic Computation, pp. 83\u201394. Springer, Heidelberg (1983)"},{"issue":"3","key":"24_CR3","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G.E. Collins","year":"1991","unstructured":"Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput.\u00a012(3), 299\u2013328 (1991)","journal-title":"J. Symb. Comput."},{"key":"24_CR4","first-page":"628","volume":"39","author":"L. Yang","year":"1996","unstructured":"Yang, L., Hou, X., Zeng, Z.: A complete discrimination system for polynomials. Science in China (Ser. E)\u00a039, 628\u2013646 (1996)","journal-title":"Science in China (Ser. E)"},{"key":"24_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1007\/11841036_72","volume-title":"Algorithms \u2013 ESA 2006","author":"E.P. Tsigaridas","year":"2006","unstructured":"Tsigaridas, E.P., Emiris, I.Z.: Univariate polynomial real root isolation: Continued fractions revisited. In: Azar, Y., Erlebach, T. (eds.) ESA 2006. LNCS, vol.\u00a04168, pp. 817\u2013828. Springer, Heidelberg (2006)"},{"issue":"3","key":"24_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1006\/jsco.2001.0472","volume":"32","author":"G. Lafferriere","year":"2001","unstructured":"Lafferriere, G., Pappas, G.J., Yovine, S.: Symbolic reachability computaion for families of linear vector fields. J. Symb. Comput.\u00a032(3), 231\u2013253 (2001)","journal-title":"J. Symb. Comput."},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/1390768.1390799","volume-title":"ISSAC 2008","author":"M. Achatz","year":"2008","unstructured":"Achatz, M., McCallum, S., Weispfenning, V.: Deciding polynomial-exponential problems. In: ISSAC 2008, pp. 215\u2013222. ACM Press, New York (2008)"},{"key":"24_CR8","volume-title":"Elements of Computer Algebra with Applications","author":"A.G. Akritas","year":"1989","unstructured":"Akritas, A.G.: Elements of Computer Algebra with Applications. Wiley, New York (1989)"}],"container-title":["Lecture Notes in Computer Science","WALCOM: Algorithms and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11440-3_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:40:35Z","timestamp":1606185635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11440-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642114397","9783642114403"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11440-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}