{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:59:39Z","timestamp":1743062379714,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642041020"},{"type":"electronic","value":"9783642041037"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04103-7_24","type":"book-chapter","created":{"date-parts":[[2009,9,30]],"date-time":"2009-09-30T05:41:17Z","timestamp":1254289277000},"page":"269-283","source":"Crossref","is-referenced-by-count":11,"title":["A Symbolic Framework for Operations on Linear Boundary Problems"],"prefix":"10.1007","author":[{"given":"Markus","family":"Rosenkranz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Regensburger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loredana","family":"Tec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Buchberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","volume-title":"Green\u2019s functions and boundary value problems","author":"I. Stakgold","year":"1979","unstructured":"Stakgold, I.: Green\u2019s functions and boundary value problems. John Wiley & Sons, New York (1979)"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1080\/0003681031000118981","volume":"82","author":"M. Rosenkranz","year":"2003","unstructured":"Rosenkranz, M., Buchberger, B., Engl, H.W.: Solving linear boundary value problems via non-commutative Gr\u00f6bner bases. Appl. Anal.\u00a082, 655\u2013675 (2003)","journal-title":"Appl. Anal."},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.jsc.2004.09.004","volume":"39","author":"M. Rosenkranz","year":"2005","unstructured":"Rosenkranz, M.: A new symbolic method for solving linear two-point boundary value problems on the level of operators. J. Symbolic Comput.\u00a039, 171\u2013199 (2005)","journal-title":"J. Symbolic Comput."},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1016\/j.jsc.2007.11.007","volume":"43","author":"M. Rosenkranz","year":"2008","unstructured":"Rosenkranz, M., Regensburger, G.: Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. J. Symbolic Comput.\u00a043, 515\u2013544 (2008)","journal-title":"J. Symbolic Comput."},{"issue":"4","key":"24_CR5","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s10231-008-0068-3","volume":"188","author":"G. Regensburger","year":"2009","unstructured":"Regensburger, G., Rosenkranz, M.: An algebraic foundation for factoring linear boundary problems. Ann. Mat. Pura Appl.\u00a0188(4), 123\u2013151 (2009)","journal-title":"Ann. Mat. Pura Appl."},{"key":"24_CR6","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/j.jal.2005.10.006","volume":"4","author":"B. Buchberger","year":"2006","unstructured":"Buchberger, B., Craciun, A., Jebelean, T., Kovacs, L., Kutsia, T., Nakagawa, K., Piroi, F., Popov, N., Robu, J., Rosenkranz, M., Windsteiger, W.: Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log.\u00a04, 359\u2013652 (2006)","journal-title":"J. Appl. Log."},{"issue":"3-4","key":"24_CR7","first-page":"475","volume":"41","author":"B. Buchberger","year":"2006","unstructured":"Buchberger, B.: An algorithm for finding the bases elements of the residue class ring modulo a zero dimensional polynomial ideal (German). PhD thesis, Univ. of Innsbruck (1965); English translation J. Symbolic Comput.\u00a041(3-4), 475\u2013511 (2006)","journal-title":"PhD thesis, Univ. of Innsbruck (1965); English translation J. Symbolic Comput."},{"key":"24_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565847","volume-title":"Gr\u00f6bner bases and applications","author":"B. Buchberger","year":"1998","unstructured":"Buchberger, B.: Introduction to Gr\u00f6bner bases. In: Buchberger, B., Winkler, F. (eds.) Gr\u00f6bner bases and applications, Cambridge Univ. Press, Cambridge (1998)"},{"key":"24_CR9","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0304-3975(94)90283-6","volume":"134","author":"T. Mora","year":"1994","unstructured":"Mora, T.: An introduction to commutative and noncommutative Gr\u00f6bner bases. Theoret. Comput. Sci.\u00a0134, 131\u2013173 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"24_CR10","volume-title":"Topological vector spaces","author":"G. K\u00f6the","year":"1969","unstructured":"K\u00f6the, G.: Topological vector spaces, vol.\u00a0I. Springer, New York (1969)"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1090\/S0002-9947-1974-0358436-2","volume":"198","author":"R.C. Brown","year":"1974","unstructured":"Brown, R.C., Krall, A.M.: Ordinary differential operators under Stieltjes boundary conditions. Trans. Amer. Math. Soc.\u00a0198, 73\u201392 (1974)","journal-title":"Trans. Amer. Math. Soc."},{"key":"24_CR12","unstructured":"Kamke, E.: Differentialgleichungen. L\u00f6sungsmethoden und L\u00f6sungen. Teil I: Gew\u00f6hnliche Differentialgleichungen. Akademische Verlagsgesellschaft, Leipzig (1967)"},{"key":"24_CR13","volume-title":"Theory of ordinary differential equations.","author":"E.A. Coddington","year":"1955","unstructured":"Coddington, E.A., Levinson, N.: Theory of ordinary differential equations. McGraw-Hill Book Company, Inc., New York (1955)"},{"key":"24_CR14","first-page":"261","volume-title":"Proceedings of ISSAC 2008","author":"M. Rosenkranz","year":"2008","unstructured":"Rosenkranz, M., Regensburger, G.: Integro-differential polynomials and operators. In: Jeffrey, D. (ed.) Proceedings of ISSAC 2008, pp. 261\u2013268. ACM, New York (2008)"},{"key":"24_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-55750-7","volume-title":"Galois theory of linear differential equations","author":"M. Put van der","year":"2003","unstructured":"van der Put, M., Singer, M.F.: Galois theory of linear differential equations. Springer, Berlin (2003)"},{"key":"24_CR16","first-page":"17","volume-title":"Proceedings of ISSAC 1989","author":"F. Schwarz","year":"1989","unstructured":"Schwarz, F.: A factorization algorithm for linear ordinary differential equations. In: Proceedings of ISSAC 1989, pp. 17\u201325. ACM, New York (1989)"},{"key":"24_CR17","first-page":"226","volume-title":"Proceedings of ISSAC 1996","author":"S.P. Tsarev","year":"1996","unstructured":"Tsarev, S.P.: An algorithm for complete enumeration of all factorizations of a linear ordinary differential operator. In: Proceedings of ISSAC 1996, pp. 226\u2013231. ACM, New York (1996)"},{"key":"24_CR18","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1016\/j.aam.2005.12.004","volume":"38","author":"D. Grigoriev","year":"2007","unstructured":"Grigoriev, D., Schwarz, F.: Loewy- and primary decompositions of D-modules. Adv. in Appl. Math.\u00a038, 526\u2013541 (2007)","journal-title":"Adv. in Appl. Math."},{"key":"24_CR19","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/307733.307740","volume":"32","author":"S.P. Tsarev","year":"1998","unstructured":"Tsarev, S.P.: Factorization of linear partial differential operators and Darboux integrability of nonlinear PDEs. SIGSAM Bull.\u00a032, 21\u201328 (1998)","journal-title":"SIGSAM Bull."},{"key":"24_CR20","volume-title":"Proceedings of ISSAC 2009","author":"G. Regensburger","year":"2009","unstructured":"Regensburger, G., Rosenkranz, M., Middeke, J.: A skew polynomial approach to integro-differential operators. In: Proceedings of ISSAC 2009. ACM, New York (to appear, 2009)"},{"key":"24_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0039-3","volume-title":"Further algebra and applications","author":"P.M. Cohn","year":"2003","unstructured":"Cohn, P.M.: Further algebra and applications. Springer, London (2003)"},{"key":"24_CR22","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1145\/1504347.1504355","volume":"42","author":"B. Buchberger","year":"2008","unstructured":"Buchberger, B., Regensburger, G., Rosenkranz, M., Tec, L.: General polynomial reduction with Theorema functors: Applications to integro-differential operators and polynomials. ACM Commun. Comput. Algebra\u00a042, 135\u2013137 (2008)","journal-title":"ACM Commun. Comput. Algebra"},{"key":"24_CR23","unstructured":"Buchberger, B.: Groebner rings and modules. In: Maruster, S., Buchberger, B., Negru, V., Jebelean, T. (eds.) Proceedings of SYNASC 2001, pp. 22\u201325 (2001)"},{"key":"24_CR24","unstructured":"Buchberger, B.: Groebner bases in Theorema using functors. In: Faugere, J., Wang, D. (eds.) Proceedings of SCC 2008, pp. 1\u201315. LMIB Beihang University Press (2008)"},{"key":"24_CR25","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1016\/S1571-0661(05)80612-7","volume":"23","author":"W. Windsteiger","year":"1999","unstructured":"Windsteiger, W.: Building up hierarchical mathematical domains using functors in Theorema. Electr. Notes Theor. Comput. Sci.\u00a023, 401\u2013419 (1999)","journal-title":"Electr. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04103-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T13:17:19Z","timestamp":1633958239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04103-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041020","9783642041037"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04103-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}