Markus Rosenkranz, Priv.-Doz. Dr.

Publications

	Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger. Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer and Peter Paule (ed.), pp. 273-331. 2011. Springer, Wien, ISBN 978-3-7091-0793-5. Also available as RICAM Report 2010-05, September 2010. [pdf] [bib]
	Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger. A Symbolic Framework for Operations on Linear Boundary Problems. In: Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing , Gerdt, Vladimir P.; Mayr, Ernst W.; Vorozhtsov, Evgenii H. (ed.), Proceedings of CASC '09, Kobe, Japan, LNCS 5743, pp. 269-283. September 2009. Springer-Verlag, ISBN: 978-3-642-04102-0. Also available as RICAM Report 09-10, May 2009. [url] [bib]
	Georg Regensburger, Markus Rosenkranz, Johannes Middeke. A skew polynomial approach to integro-differential operators. In: Proceedings of ISSAC 2009, Jeremy R. Johnson, Hyungju Park, Erich Kaltofen (ed.), Proceedings of Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, pp. 287-294. 2009. ACM, 978-1-60558-609-0. [url] [pdf] [bib]
	B. Buchberger, G. Regensburger, M. Rosenkranz, L. Tec. General Polynomial Reduction with Theorema Functors: Applications to Integro-Differential Operators and Polynomials . July 20-23 2008. Poster presentation at ISSAC 2008. [pdf] [bib]
	B. Buchberger, G. Regensburger, M. Rosenkranz, L. Tec. General Polynomial Reduction with Theorema Functors: Applications to Integro-Differential Operators and Polynomials . SIGSAM Bulletin 42(3), pp. 135-137. September 2008. ISSN 0163-5824. Extended abstract from ISSAC 2008 poster presentation. [url] [bib]
	B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, W. Windsteiger. Theorema: Towards Computer-Aided Mathematical Theory Exploration. Journal of Applied Logic 4(4), pp. 470-504. 2006. ISSN 1570-8683. [url] [pdf] [bib]
	W. Windsteiger, B. Buchberger, M. Rosenkranz. Theorema. In: The Seventeen Provers of the World, Freek Wiedijk (ed.), Lecture Notes in Artificial Intelligence (LNAI) 3600, pp. 96-107. 2006. Springer Berlin Heidelberg New York, ISBN 3-540-30704-4. [url] [pdf] [bib]
	M. Rosenkranz. New Symbolic Method for Solving Linear Two-Point Boundary Value Problems on the Level of Operators. Journal of Symbolic Computation 39(2), pp. 171-199. 2004. Elsevier, ISBN 0747-7171. [bib]
	M. Rosenkranz. The Algorithmization of Physics: Math Between Science and Engineering. In: Proceedings of AISC 2004, B. Buchberger, J.A. Campbell (ed.), Proceedings of Artificial Intelligence and Symbolic Computation: 7th International Conference, Linz, Austria, Lecture Notes in Artificial Intelligence (LNAI) 3249, pp. 1-7. September 2004. Springer, Castle of Hagenberg, Austria, ISBN 3-540-23212-5. Invited talk. [bib]
	Markus Rosenkranz. The Green's Algebra: A Polynomial Approach to Boundary Value Problems. Technical report no. 03-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. July 2003. PhD Thesis. [ps] [bib]
	M. Rosenkranz, B. Buchberger, H. W. Engl. A Symbolic Algorithm for Solving Two-Point BVPs on the Operator Level. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2003-41, SFB Report, October 2003. [pdf] [bib]
	M. Rosenkranz, B. Buchberger, H. W. Engl. Solving Linear Boundary Value Problems Via Non–commutative Groebner Bases. Applicable Analysis 82(7), pp. 655-675. July 2003. Copyright: Taylor & Francis Ltd., ISSN 0003-6811, ISSN 1563-504X. [bib]
	B. Buchberger, T. Jebelean, W. Windsteiger, T. Kutsia, K. Nakagawa, J. Robu, F. Piroi, A. Craciun, N. Popov, G. Kusper, M. Rosenkranz, L. Kovacs, C. Kocsis. F 1302: THEOREMA: Proving, Solving, and Computing in the Theory of Hilbert Spaces. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part II: Proposal, P. Paule, U. Langer (ed.), pp. 58-73. October 2003. Johannes Kepler University Linz, Austria, -. [bib]
	Markus Rosenkranz. A Symbolic Algorithm for Generating Solutions of Boundary Value Problems. RISC, Johannes Kepler University Linz. PhD Thesis. 2003. [bib]
	B. Buchberger, T. Jebelean, W. Windsteiger, T. Kutsia, K. Nakagawa, J. Robu, F. Piroi, A. Craciun, N. Popov, G. Kusper, M. Rosenkranz. F 1302: Solving and Proving in General Domains. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Annual Report 2002, U. Langer, F. Winkler (ed.), pp. 4-5. February 2002. Johannes Kepler University Linz, Austria, [bib]
	M. Rosenkranz, B. Buchberger, H. W. Engl. Solving Linear Boundary Value Problems Via Non–commutative Groebner Bases. In: Proceedings of SYNASC 2002, 4th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, D. Petcu, V. Negru, D. Zaharie, T. Jebelean (ed.), pp. 300-313. 9-12 October 2002. Mirton Publisher, Timisoara, Romania, ISBN 973-585-785-5. [bib]
	M. Rosenkranz. Lagrange Inversion. RISC, J. Kepler University Linz. Diploma Thesis. 1997. [ps] [ps] [pdf] [bib]