{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:39:38Z","timestamp":1725565178870},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642155819"},{"type":"electronic","value":"9783642155826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15582-6_41","type":"book-chapter","created":{"date-parts":[[2010,9,10]],"date-time":"2010-09-10T05:15:44Z","timestamp":1284095744000},"page":"245-248","source":"Crossref","is-referenced-by-count":1,"title":["An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra"],"prefix":"10.1007","author":[{"given":"Loredana","family":"Tec","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Regensburger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Rosenkranz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Buchberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","first-page":"1","volume-title":"Proceedings of the Third International Algebra Conference","author":"E. Aichinger","year":"2003","unstructured":"Aichinger, E., Pilz, G.F.: A survey on polynomials and polynomial and compatible functions. In: Proceedings of the Third International Algebra Conference, pp. 1\u201316. Kluwer Acad. Publ., Dordrecht (2003)"},{"issue":"2","key":"41_CR2","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1016\/0001-8708(78)90010-5","volume":"29","author":"G.M. Bergman","year":"1978","unstructured":"Bergman, G.M.: The diamond lemma for ring theory. Adv. in Math.\u00a029(2), 178\u2013218 (1978)","journal-title":"Adv. in Math."},{"key":"#cr-split#-41_CR3.1","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);"},{"key":"#cr-split#-41_CR3.2","doi-asserted-by":"crossref","unstructured":"English Translation J. Symbolic Comput.??41(3-4), 475???511 (2006)","DOI":"10.1016\/j.jsc.2005.09.007"},{"key":"41_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1017\/CBO9780511565847.003","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, pp. 3\u201331. Cambridge Univ. Press, Cambridge (1998)"},{"key":"41_CR5","unstructured":"Buchberger, B.: Gr\u00f6bner rings and modules. In: Proceedings of SYNASC 2001, pp. 22\u201325 (2001)"},{"issue":"4","key":"41_CR6","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/j.jal.2005.10.001","volume":"4","author":"B. Buchberger","year":"2006","unstructured":"Buchberger, B., et al.: Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log.\u00a04(4), 359\u2013652 (2006)","journal-title":"J. Appl. Log."},{"key":"41_CR7","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/978-3-7091-7551-4_2","volume-title":"Computer Algebra","author":"B. Buchberger","year":"1983","unstructured":"Buchberger, B., Loos, R.: Algebraic simplification. In: Computer Algebra, pp. 11\u201343. Springer, Vienna (1983)"},{"issue":"3","key":"41_CR8","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(3), 135\u2013137 (2008)","journal-title":"ACM Commun. Comput. Algebra"},{"key":"41_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0285-0","volume-title":"Algorithmic methods in non-commutative algebra","author":"J. Bueso","year":"2003","unstructured":"Bueso, J., G\u00f3mez-Torrecillas, J., Verschoren, A.: Algorithmic methods in non-commutative algebra. Kluwer Academic Publishers, Dordrecht (2003)"},{"issue":"3","key":"41_CR10","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1016\/j.jpaa.2007.06.008","volume":"212","author":"L. Guo","year":"2008","unstructured":"Guo, L., Keigher, W.: On differential Rota-Baxter algebras. J. Pure Appl. Algebra\u00a0212(3), 522\u2013540 (2008)","journal-title":"J. Pure Appl. Algebra"},{"key":"41_CR11","series-title":"Pure and Applied Mathematics","volume-title":"Differential algebra and algebraic groups","author":"E. Kolchin","year":"1973","unstructured":"Kolchin, E.: Differential algebra and algebraic groups. Pure and Applied Mathematics, vol.\u00a054. Academic Press, New York (1973)"},{"key":"41_CR12","volume-title":"Algebra of polynomials","author":"H. Lausch","year":"1973","unstructured":"Lausch, H., N\u00f6bauer, W.: Algebra of polynomials. North-Holland Publishing Co., Amsterdam (1973)"},{"key":"41_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/11832225_13","volume-title":"Mathematical Software - ICMS 2006","author":"V. Levandovskyy","year":"2006","unstructured":"Levandovskyy, V.: PLURAL, a non-commutative extension of SINGULAR: past, present and future. In: Iglesias, A., Takayama, N. (eds.) ICMS 2006. LNCS, vol.\u00a04151, pp. 144\u2013157. Springer, Heidelberg (2006)"},{"issue":"1","key":"41_CR14","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. (4)\u00a0188(1), 123\u2013151 (2009)","journal-title":"Ann. Mat. Pura. Appl. (4)"},{"issue":"2","key":"41_CR15","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(2), 171\u2013199 (2005)","journal-title":"J. Symbolic Comput."},{"key":"41_CR16","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/1390768.1390805","volume-title":"Proceedings of ISSAC 2008","author":"M. Rosenkranz","year":"2008","unstructured":"Rosenkranz, M., Regensburger, G.: Integro-differential polynomials and operators. In: Proceedings of ISSAC 2008, pp. 261\u2013268. ACM, New York (2008)"},{"issue":"8","key":"41_CR17","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(8), 515\u2013544 (2008)","journal-title":"J. Symbolic Comput."},{"key":"41_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-642-04103-7_24","volume-title":"Computer Algebra in Scientific Computing","author":"M. Rosenkranz","year":"2009","unstructured":"Rosenkranz, M., Regensburger, G., Tec, L., Buchberger, B.: A symbolic framework for operations on linear boundary problems. In: Gerdt, V.P., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2009. LNCS, vol.\u00a05743, pp. 269\u2013283. Springer, Heidelberg (2009)"},{"key":"41_CR19","doi-asserted-by":"crossref","unstructured":"Rosenkranz, M., Regensburger, G., Tec, L., Buchberger, B.: Symbolic analysis for boundary problems: From rewriting to parametrized Gr\u00f6bner bases. Technical Report 2010-05, RICAM (2010)","DOI":"10.1007\/978-3-7091-0794-2_13"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15582-6_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,9]],"date-time":"2021-11-09T06:46:14Z","timestamp":1636440374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15582-6_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155819","9783642155826"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15582-6_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}