{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T17:45:26Z","timestamp":1759340726063},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,1,16]],"date-time":"2018-01-16T00:00:00Z","timestamp":1516060800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1007\/s10208-018-9378-z","type":"journal-article","created":{"date-parts":[[2018,1,16]],"date-time":"2018-01-16T20:50:41Z","timestamp":1516135841000},"page":"291-308","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["The Differential Counting Polynomial"],"prefix":"10.1007","volume":"18","author":[{"given":"Markus","family":"Lange-Hegermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,16]]},"reference":[{"key":"9378_CR1","unstructured":"Maple 17.00. Maplesoft, a division of Waterloo Maple Inc., Waterloo, Ontario."},{"key":"9378_CR2","doi-asserted-by":"crossref","unstructured":"T.\u00a0B\u00e4chler, V.\u00a0P. Gerdt, M.\u00a0Lange-Hegermann, and D.\u00a0Robertz. Algorithmic Thomas decomposition of algebraic and differential systems. J. Symbolic Comput., 47(10):1233\u20131266, 2012. ( arXiv:1108.0817 ).","DOI":"10.1016\/j.jsc.2011.12.043"},{"key":"9378_CR3","unstructured":"E.\u00a0S. Cheb-Terrab and A.\u00a0D. Roche. Hypergeometric solutions for third order linear odes, 2008. ( arXiv:0803.3474 )."},{"issue":"1","key":"9378_CR4","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/0010-4655(95)00083-R","volume":"90","author":"ES Cheb-Terrab","year":"1995","unstructured":"E.\u00a0S. Cheb-Terrab and K.\u00a0von B\u00fclow. A computational approach for the analytical solving of partial differential equations. Computer Physics Communications, 90(1):102\u2013116, 1995.","journal-title":"Computer Physics Communications"},{"issue":"2","key":"9378_CR5","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/BF01579200","volume":"267","author":"J Denef","year":"1984","unstructured":"J.\u00a0Denef and L.\u00a0Lipshitz. Power series solutions of algebraic differential equations. Math. Ann., 267(2):213\u2013238, 1984.","journal-title":"Math. Ann."},{"issue":"8","key":"9378_CR6","doi-asserted-by":"publisher","first-page":"582","DOI":"10.1016\/j.jsc.2007.12.002","volume":"43","author":"O Golubitsky","year":"2008","unstructured":"O.\u00a0Golubitsky, M.\u00a0Kondratieva, M.\u00a0Moreno\u00a0Maza, and A.\u00a0Ovchinnikov. A bound for the Rosenfeld-Gr\u00f6bner algorithm. J. Symbolic Comput., 43(8):582\u2013610, 2008.","journal-title":"J. Symbolic Comput."},{"key":"9378_CR7","doi-asserted-by":"crossref","unstructured":"E.\u00a0Hubert. Factorization-free decomposition algorithms in differential algebra. J. Symbolic Comput., 29(4\u20135):641\u2013662, 2000. Symbolic computation in algebra, analysis, and geometry (Berkeley, CA, 1998).","DOI":"10.1006\/jsco.1999.0344"},{"key":"9378_CR8","volume-title":"Le\u00e7ons sur les syst\u00e8mes d\u2019\u00e9quations aux d\u00e9riv\u00e9es partielles","author":"M Janet","year":"1929","unstructured":"M.\u00a0Janet. Le\u00e7ons sur les syst\u00e8mes d\u2019\u00e9quations aux d\u00e9riv\u00e9es partielles. Cahiers Scientifiques IV. Gauthiers-Villars, Paris, 1929."},{"key":"9378_CR9","doi-asserted-by":"publisher","first-page":"239","DOI":"10.2307\/2373279","volume":"91","author":"J Johnson","year":"1969","unstructured":"J.\u00a0Johnson. Differential dimension polynomials and a fundamental theorem on differential modules. Amer. J. Math., 91:239\u2013248, 1969.","journal-title":"Amer. J. Math."},{"key":"9378_CR10","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1090\/S0002-9904-1964-11203-9","volume":"70","author":"ER Kolchin","year":"1964","unstructured":"E.\u00a0R. Kolchin. The notion of dimension in the theory of algebraic differential equations. Bull. Amer. Math. Soc., 70:570\u2013573, 1964.","journal-title":"Bull. Amer. Math. Soc."},{"key":"9378_CR11","unstructured":"E.\u00a0R. Kolchin. Differential algebra and algebraic groups. Academic Press, New York, 1973. Pure and Applied Mathematics, Vol. 54."},{"key":"9378_CR12","doi-asserted-by":"crossref","unstructured":"M.\u00a0V. Kondratieva, A.\u00a0B. Levin, A.\u00a0V. Mikhalev, and E.\u00a0V. Pankratiev. Differential and difference dimension polynomials, volume 461 of Mathematics and its Applications. Kluwer Academic Publishers, Dordrecht, 1999.","DOI":"10.1007\/978-94-017-1257-6_5"},{"key":"9378_CR13","unstructured":"M.\u00a0Lange-Hegermann. The differential dimension polynomial for characterizable differential ideals. submitted, ( arXiv:1401.5959 )."},{"key":"9378_CR14","unstructured":"M.\u00a0Lange-Hegermann. Counting Solutions of Differential Equations. PhD thesis, RWTH Aachen, Germany, 2014. Available at http:\/\/darwin.bth.rwth-aachen.de\/opus3\/frontdoor.php?source_opus=4993 ."},{"issue":"66","key":"9378_CR15","doi-asserted-by":"publisher","first-page":"155","DOI":"10.2307\/1970121","volume":"2","author":"H Lewy","year":"1957","unstructured":"H.\u00a0Lewy. An example of a smooth linear partial differential equation without solution. Ann. of Math. (2), 66:155\u2013158, 1957.","journal-title":"Ann. of Math."},{"issue":"1","key":"9378_CR16","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/s00013-008-2785-7","volume":"92","author":"W Plesken","year":"2009","unstructured":"W.\u00a0Plesken. Counting solutions of polynomial systems via iterated fibrations. Arch. Math. (Basel), 92(1):44\u201356, 2009.","journal-title":"Arch. Math. (Basel)"},{"issue":"9","key":"9378_CR17","first-page":"247","volume":"19","author":"W Plesken","year":"2014","unstructured":"W.\u00a0Plesken and T.\u00a0B\u00e4chler. Counting polynomials for linear codes, hyperplane arrangements, and matroids. Documenta Math., 19(9):247\u2013284, 2014.","journal-title":"Documenta Math."},{"key":"9378_CR18","volume-title":"Les syst\u00e8mes d\u2019\u00e9quations aux d\u00e9riv\u00e9es partielles","author":"C Riquier","year":"1910","unstructured":"C.\u00a0Riquier. Les syst\u00e8mes d\u2019\u00e9quations aux d\u00e9riv\u00e9es partielles. Gauthiers-Villars, Paris, 1910."},{"key":"9378_CR19","doi-asserted-by":"crossref","unstructured":"W.\u00a0M. Seiler. Involution, volume\u00a024 of Algorithms and Computation in Mathematics. Springer-Verlag, Berlin, 2010. The formal theory of differential equations and its applications in computer algebra.","DOI":"10.1007\/978-3-642-01287-7_2"}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-018-9378-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-018-9378-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-018-9378-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T12:10:55Z","timestamp":1570623055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-018-9378-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,16]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,4]]}},"alternative-id":["9378"],"URL":"https:\/\/doi.org\/10.1007\/s10208-018-9378-z","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1,16]]},"assertion":[{"value":"22 July 2014","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 March 2015","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 April 2015","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 January 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}