{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:53Z","timestamp":1761611273437},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232124"},{"type":"electronic","value":"9783540302100"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30210-0_1","type":"book-chapter","created":{"date-parts":[[2011,1,18]],"date-time":"2011-01-18T10:34:36Z","timestamp":1295346876000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["The Algorithmization of Physics: Math Between Science and Engineering"],"prefix":"10.1007","author":[{"given":"Markus","family":"Rosenkranz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Buchberger, B.: An Algorithm for Finding a Basis for the Residual Class Ring of Zero-Dimensional Polynomial Ideal (in German). PhD Thesis, University of Innsbruck, Institute for Mathematics (1965)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/BF01844169","volume":"4","author":"B. Buchberger","year":"1970","unstructured":"Buchberger, B.: An Algorithmic Criterion for the Solvability of Algebraic Systems of Equations (in German). \u00c6quationes Mathematicae\u00a04, 374\u2013383 (1970); In: [8], pp. 535\u2013 545","journal-title":"\u00c6quationes Mathematicae"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Editorial. Journal of Symbolic Computation 1\/1 (1985)","DOI":"10.1016\/S0747-7171(85)80024-9"},{"key":"1_CR4","unstructured":"Buchberger, B.: Logic for Computer Science. Lecture Notes, Johannes Kepler University, Linz, Austria (1991)"},{"key":"1_CR5","first-page":"955","volume-title":"Handbuch der Informatik","author":"B. Buchberger","year":"1997","unstructured":"Buchberger, B.: Symbolic Computation (in German). In: Pomberger, G., Rechenberg, P. (eds.) Handbuch der Informatik, pp. 955\u2013974. Birkh\u00e4user, M\u00fcnchen (1997)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Introduction to Gr\u00f6bner Bases. In: [8], pp. 3\u201331","DOI":"10.1017\/CBO9780511565847.003"},{"key":"1_CR7","volume-title":"Algebraic Simplification","author":"B. Buchberger","year":"1982","unstructured":"Buchberger, B.: Loos, R\u00fcdiger: Computer Algebra \u2013 Symbolic and Algebraic Computation. In: Buchberger, B., Collins, G.E., Loos, R. (eds.) Algebraic Simplification, Springer, Wien (1982)"},{"key":"1_CR8","series-title":"London Mathematical Society Lecture Notes","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565847","volume-title":"Gr\u00f6bner Bases and Applications","author":"B. Buchberger","year":"1998","unstructured":"Buchberger, B., Winkler, F.: Gr\u00f6bner Bases and Applications. London Mathematical Society Lecture Notes, vol.\u00a0251. Cambridge University Press, Cambridge (1998)"},{"key":"1_CR9","volume-title":"Modern Algebra and the Rise of Mathematical Structures","author":"L. Corry","year":"1996","unstructured":"Corry, L.: Modern Algebra and the Rise of Mathematical Structures. Birkh\u00e4user, Basel (1996)"},{"key":"1_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-58039-0","volume-title":"Die Methoden der mathematischen Physik","author":"R. Courant","year":"1993","unstructured":"Courant, R., Hilbert, D.: Die Methoden der mathematischen Physik, vol.\u00a01 & 2. Springer, Berlin (1993)"},{"key":"1_CR11","volume-title":"Differentialgleichungen und L\u00f6sungsmethoden (Volume 1)","author":"E. Kamke","year":"1983","unstructured":"Kamke, E.: Differentialgleichungen und L\u00f6sungsmethoden (Volume 1), 10th edn. Teubner, Stuttgart (1983)","edition":"10"},{"key":"1_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0041-0","volume-title":"Algebra","author":"S. Lang","year":"2002","unstructured":"Lang, S.: Algebra. Springer, New York (2002)"},{"key":"1_CR13","volume-title":"Algebra of Polynomials","author":"H. Lausch","year":"1973","unstructured":"Lausch, H., N\u00f6bauer, W.: Algebra of Polynomials. North-Holland, Amsterdam (1973)"},{"key":"1_CR14","unstructured":"Rosenkranz, M.: The Green\u2019s Algebra \u2013 A Polynomial Approach to Boundary Value Problems. PhD Thesis, Johannes Kepler University, Linz, Austria (2003)"},{"key":"#cr-split#-1_CR15.1","doi-asserted-by":"crossref","unstructured":"Rosenkranz, M.: A New Symbolic Method for Solving Linear Two-Point Boundary Value Problems on the Level of Operators. Journal of Symbolic Computation (2004) (submitted);","DOI":"10.1016\/j.jsc.2004.09.004"},{"key":"#cr-split#-1_CR15.2","unstructured":"Also available as SFB Report 2003-41, Johannes Kepler University, Linz, Austria (2003)"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1080\/0003681031000118981","volume":"82\/7","author":"M. Rosenkranz","year":"2003","unstructured":"Rosenkranz, M., Buchberger, B., Engl, H.W.: Solving Linear Boundary Value Problems via Non-commutative Gr\u00f6bner Bases. Applicable Analysis\u00a082\/7, 655\u2013675 (2003)","journal-title":"Applicable Analysis"},{"key":"1_CR17","unstructured":"Rosenkranz, R., Buchberger, B., Engl, H.W.: Computer Algebra for Pure and Applied Functional Analysis. An FWF Proposal for F1322 Subproject of the SFB F013, Johannes Kepler University, Linz, Austria (2003)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30210-0_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:49:25Z","timestamp":1605761365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30210-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232124","9783540302100"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30210-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}