{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:38:26Z","timestamp":1740123506513,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,3,5]],"date-time":"2018-03-05T00:00:00Z","timestamp":1520208000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100004329","name":"Javna Agencija za Raziskovalno Dejavnost RS","doi-asserted-by":"publisher","award":["P1-0222"],"award-info":[{"award-number":["P1-0222"]}],"id":[{"id":"10.13039\/501100004329","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Multidim Syst Sign Process"],"published-print":{"date-parts":[[2019,1]]},"DOI":"10.1007\/s11045-018-0560-x","type":"journal-article","created":{"date-parts":[[2018,3,5]],"date-time":"2018-03-05T01:09:44Z","timestamp":1520212184000},"page":"363-372","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A nullstellensatz for linear partial differential equations with polynomial coefficients"],"prefix":"10.1007","volume":"30","author":[{"given":"J.","family":"Cimpri\u010d","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,5]]},"reference":[{"key":"560_CR1","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.jalgebra.2013.07.030","volume":"396","author":"J Cimpri\u010d","year":"2013","unstructured":"Cimpri\u010d, J. (2013). A Real Nullstellensatz for free modules. Journal of Algebra, 396, 143\u2013150.","journal-title":"Journal of Algebra"},{"issue":"5","key":"560_CR2","doi-asserted-by":"publisher","first-page":"1060","DOI":"10.1112\/plms\/pds060","volume":"106","author":"J Cimpri\u010d","year":"2013","unstructured":"Cimpri\u010d, J., Helton, J. W., McCullough, S., & Nelson, C. (2013). A noncommutative real nullstellensatz corresponds to a noncommutative real ideal: Algorithms. Proceedings of the London Mathematical Society (3), 106(5), 1060\u20131086.","journal-title":"Proceedings of the London Mathematical Society (3)"},{"key":"560_CR3","first-page":"65","volume":"3","author":"M Janet","year":"1920","unstructured":"Janet, M. (1920). Sur les systemes d\u2019\u00e9quations aux d\u00e9riv\u00e9es partielles. Journal de Math\u00e9matiques (8), 3, 65\u2013151.","journal-title":"Journal de Math\u00e9matiques (8)"},{"key":"560_CR4","doi-asserted-by":"crossref","unstructured":"Kashiwara, M. (1995). Algebraic study of systems of partial differential equations. M\u00e9moires de la Soci\u00e9t\u00e9 Math\u00e9matique de France (N.S.), 63, xiv+72 pp.","DOI":"10.24033\/msmf.377"},{"issue":"5","key":"560_CR5","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1016\/S0747-7171(03)00017-8","volume":"35","author":"F Lemaire","year":"2003","unstructured":"Lemaire, F. (2003). An orderly linear PDE system with analytic initial conditions with a non-analytic solution. Computer algebra and computer analysis (Berlin, 2001). Journal of Symbolic Computation, 35(5), 487\u2013498.","journal-title":"Journal of Symbolic Computation"},{"key":"560_CR6","unstructured":"McConnell, J. C., & Robson, J. C. (1987). Noncommutative Noetherian rings. With the cooperation of L. W. Small. Pure and Applied Mathematics (New York). A Wiley-Interscience Publication. Chichester: Wiley. xvi+596 pp. ISBN: 0\u2013471\u201391550\u20135."},{"issue":"3","key":"560_CR7","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/BF03167233","volume":"11","author":"T Oaku","year":"1994","unstructured":"Oaku, T. (1994). Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients. Japan Journal of Industrial and Applied Mathematics, 11(3), 485\u2013497.","journal-title":"Japan Journal of Industrial and Applied Mathematics"},{"issue":"1\u20132","key":"560_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00046908","volume":"20","author":"U Oberst","year":"1990","unstructured":"Oberst, U. (1990). Multidimensional constant linear systems. Acta Applicandae Mathematica, 20(1\u20132), 1\u2013175.","journal-title":"Acta Applicandae Mathematica"},{"key":"560_CR9","unstructured":"Quadrat, A. (2010). An introduction to constructive algebraic analysis and its applications. Research Report. INRIA. 237 pp. \n                    https:\/\/hal.archives-ouvertes.fr\/inria-00506104\/fr\/\n                    \n                  ."},{"key":"560_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s10440-013-9864-x","volume":"133","author":"A Quadrat","year":"2014","unstructured":"Quadrat, A., & Robertz, D. (2014). A constructive study of the module structure of rings of partial differential operators. Acta Applicandae Mathematica, 133, 187\u2013234.","journal-title":"Acta Applicandae Mathematica"},{"key":"560_CR11","unstructured":"Riquier, C. (1910). Les Systemes d\u2019 \u00c9quations aux D\u00e9riv\u00e9es partielles. Paris, Gauthier-Villars, xxvii + 590 pp."},{"key":"560_CR12","unstructured":"Ritt, J. F. (1966). Differential algebra. Dover Publications, Inc., New York, viii+184 pp."},{"key":"560_CR13","doi-asserted-by":"crossref","unstructured":"Robertz, D. (2014). Formal algorithmic elimination for PDEs. Lecture Notes in Mathematics (Vol. 2121). Cham: Springer. viii+283 pp. ISBN: 978-3-319-11444-6; 978-3-319-11445-3.","DOI":"10.1007\/978-3-319-11445-3"},{"key":"560_CR14","unstructured":"Rust, C. J. (1998). Rankings of derivatives for elimination algorithms and formal solvability of analytic partial differential equations. Ph.D. thesis. University of Chicago. \n                    www.cecm.sfu.ca\/~reid\/Rust\/RustThesis.ps.gz\n                    \n                  ."},{"key":"560_CR15","doi-asserted-by":"crossref","unstructured":"Rust, C. J., Reid, G. J., & Wittkopf, A. D. (1999). Existence and uniqueness theorems for formal power series solutions of analytic differential systems. In Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (Vancouver, BC) (pp. 105\u2013112) (electronic). New York: ACM. ISBN 1\u201358113\u2013073\u20132.","DOI":"10.1145\/309831.309875"},{"key":"560_CR16","doi-asserted-by":"crossref","unstructured":"Seiler, W. M., & Zerz, E. (2015). Algebraic theory of linear systems: A survey. Surveys in differential-algebraic equations (Vol. II, pp. 287\u2013333). Differ.-Algebr. Equ. Forum. Cham: Springer. ISBN 978\u20133\u2013319\u201311050\u20139.","DOI":"10.1007\/978-3-319-11050-9_5"},{"issue":"4","key":"560_CR17","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1006\/aama.1999.0657","volume":"23","author":"S Shankar","year":"1999","unstructured":"Shankar, S. (1999). The Nullstellensatz for systems of PDE. Advances in Applied Mathematics, 23(4), 360\u2013374.","journal-title":"Advances in Applied Mathematics"},{"issue":"3","key":"560_CR18","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1112\/jlms\/s2-18.3.429","volume":"18","author":"JT Stafford","year":"1978","unstructured":"Stafford, J. T. (1978). Module structure of Weyl algebras. Journal of the London Mathematical Society (2), 18(3), 429\u2013442.","journal-title":"Journal of the London Mathematical Society (2)"},{"key":"560_CR19","unstructured":"Tsai, H. (2000a). Algorithms for algebraic analysis. Ph.D. thesis. University of California at Berkley. \n                    www.math.rwth-aachen.de\/~levandov\/filez\/dmod0708\/Tsai-PhdThesis.pdf\n                    \n                  ."},{"issue":"4\u20135","key":"560_CR20","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1006\/jsco.1999.0400","volume":"29","author":"H Tsai","year":"2000","unstructured":"Tsai, H. (2000b). Weyl closure of a linear differential operator. Symbolic computation in algebra, analysis, and geometry (Berkeley, CA, 1998). Journal of Symbolic Computation, 29(4\u20135), 747\u2013775.","journal-title":"Journal of Symbolic Computation"}],"container-title":["Multidimensional Systems and Signal Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11045-018-0560-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11045-018-0560-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11045-018-0560-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T21:01:51Z","timestamp":1551733311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11045-018-0560-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,5]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,1]]}},"alternative-id":["560"],"URL":"https:\/\/doi.org\/10.1007\/s11045-018-0560-x","relation":{},"ISSN":["0923-6082","1573-0824"],"issn-type":[{"type":"print","value":"0923-6082"},{"type":"electronic","value":"1573-0824"}],"subject":[],"published":{"date-parts":[[2018,3,5]]},"assertion":[{"value":"10 August 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 July 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 February 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 March 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}