{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:38:40Z","timestamp":1725806320087},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662437988"},{"type":"electronic","value":"9783662437995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43799-5_25","type":"book-chapter","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T03:46:18Z","timestamp":1412048778000},"page":"349-373","source":"Crossref","is-referenced-by-count":0,"title":["Degree and Dimension Estimates for Invariant Ideals of $$P$$ -Solvable Recurrences"],"prefix":"10.1007","author":[{"given":"Marc","family":"Moreno Maza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rong","family":"Xiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,1]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","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 Text in Mathematics. Springer, New York (1998)"},{"key":"25_CR2","unstructured":"Ge, G.: Algorithms related to multiplicative representations of algebraic numbers. Ph.D. thesis, U.C. Berkeley (1993)."},{"issue":"3","key":"25_CR3","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0304-3975(83)90002-6","volume":"24","author":"Joos Heintz","year":"1983","unstructured":"Heintz, Joos: Definability and fast quantifier elimination in algebraically closed fields. Theor. Comput. Sci. 24(3), 239\u2013277 (1983)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"25_CR4","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.scico.2006.03.003","volume":"64","author":"D Kapur","year":"2007","unstructured":"Kapur, D., Rodriguez-Carbonell, E.: Automatic generation of polynomial invariants of bounded degree using abstract interpretation. Sci. Comput. Program. 64(1), 54\u201375 (2007)","journal-title":"Sci. Comput. Program."},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1016\/j.jsc.2008.03.002","volume":"43","author":"M Kauers","year":"2008","unstructured":"Kauers, M., Zimmermann, B.: Computing the algebraic relations of c-finite sequences and multisequences. J. Symb. Comput. 43, 787\u2013803 (2008)","journal-title":"J. Symb. Comput."},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Kov\u00e1cs, L.: Invariant generation for p-solvable loops with assignments. In: Proceedings of the 3rd international conference on computer science: theory and applications. CSR\u201908, pp. 349\u2013359. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-79709-8_35"},{"key":"25_CR7","unstructured":"Moreno Maza, M., Xiao, R.: Generating program invariants via interpolation. CoRR, abs\/1201.5086, 2012."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"M\u00fcller-Olm, M., Seidl, H.: A Note on Karr\u2019s Algorithm. In: D\u00edaz, J., Karhum\u00e4ki, J., Lepist\u00f6, A., Sannella, D. (eds.) Automata, Languages and Programming, vol. 3142 of Lecture Notes in Computer Science, pp. 1016\u20131028. Springer, Turku (2004)","DOI":"10.1007\/978-3-540-27836-8_85"},{"issue":"5","key":"25_CR9","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/j.ipl.2004.05.004","volume":"91","author":"M M\u00fcller-Olm","year":"2004","unstructured":"M\u00fcller-Olm, M., Seidl, H.: Computing polynomial program invariants. Inf. Process. Lett. 91(5), 233\u2013244 (2004)","journal-title":"Inf. Process. Lett."},{"key":"25_CR10","unstructured":"Osborne, M.J.: Math tutorial: first-order difference equations (2000)."},{"key":"25_CR11","unstructured":"Rodr\u00edguez-Carbonell, E., Kapur, D.: An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants. In International Symposium on Static Analysis (SAS 2004), vol. 3148 of Lecture Notes in Computer Science, pp. 280\u2013295. Springer, Heidelberg (2004)."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez-Carbonell, E., Kapur, D.: Automatic generation of polynomial loop invariants: algebraic foundations. ISSAC \u201904, pp. 266\u2013273. ACM (2004).","DOI":"10.1145\/1005285.1005324"},{"key":"25_CR13","unstructured":"von zur Gathen, J., Gerhard, J.: Modern Computer Algebra. Cambridge University Press, Cambridge (1999)."}],"container-title":["Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43799-5_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,18]],"date-time":"2022-04-18T09:59:46Z","timestamp":1650275986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43799-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662437988","9783662437995"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43799-5_25","relation":{},"subject":[],"published":{"date-parts":[[2014]]}}}