Curriculum vitae. Grants and Fellowships 2008 Long-term research visits (Jan Apr, Sep Nov) to INRIA-Rocquencourt

Size: px

Start display at page:

Download "Curriculum vitae. Grants and Fellowships 2008 Long-term research visits (Jan Apr, Sep Nov) to INRIA-Rocquencourt"

Irene Booker
6 years ago
Views:

1 Curriculum vitae Personal Data Full name Manuel Kauers Date of birth Place of birth Lahnstein, Germany Nationality German Marital state Single, no children Contact Home Address Kirchenplatz 2 / A-4232 Hagenberg i.m. Work Address RISC / Johannes Kepler University Altenbergerstraße 69 / A-4040 Linz Phone manuel@kauers.de WWW Education 2005 Doctoral degree (Dr. techn.) in Symbolic Computation, Thesis: Algorithms for Nonlinear Higher Order Difference Equations under supervision of Prof. Peter Paule Doctoral studies in symbolic computation at the Research Institute for Symbolic Computation (RISC), Linz, Austria 2002 University degree (Dipl.-Inform.) in computer science, Thesis: Verstehen natürlicher Sprache durch statistische Übersetzung in eine termbasierte Interlingua (Understanding of natural language by statistical translation into a term based interlingua) under supervision of Prof. Alex Waibel Undergraduate studies in computer science at the University of Karlsruhe, Germany 1998 High school graduation (Abitur) in Lahnstein, Germany Grants and Fellowships 2008 Long-term research visits (Jan Apr, Sep Nov) to INRIA-Rocquencourt (planned) 2007 Project leader of P19462-N18, granted by the Austrian Science Fund Postdoctoral fellow of Peter Paule German Academic Exchange Service (DAAD) fellow

2 Teaching Summer 2008 Winter 2007 Summer 2007 Winter 2006 Summer 2006 Winter 2004 Summer 2000 Winter 1999 Computer Algebra II (Lecture), JKU Selected Algorithms (Seminar; with T. Kutsia), JKU Lineare Algebra II (Exercises; with G. Landsmann, M. Widi, G. Wendt), JKU Mathematik I für Informatiker (Exercises; with C. Koutschan, G. Regensburger, F. Stan), JKU Algebraische und diskrete Methoden der Biologie (Lecture; with W. Schreiner, T. Jebelean, W. Windsteiger, T. Kutsia, S. Dreiseitl), JKU Selected Algorithms (Seminar; with T. Kutsia), JKU Introduction to basic techniques for symbolic summation and integration (Series of five lectures at the RISC Training School in Symbolic Computation; with C. Schneider) Mathematik I für Informatiker (Exercises; with T. Beck, G. Bodnar, G. Regensburger), JKU Analytic Combinatorics (Exercises), JKU Analysis II (Small Exercises), University of Karlsruhe Analysis I (Small Exercises), University of Karlsruhe Research Interests Computer Algebra Symbolic Summation and Integration Special Function Identities and Inequalities Academic Activities Program Committee Member ISSAC 08, Hagenberg Program Committee Chair Calculemus 07 (with W. Windsteiger) Member of RISC faculty, 2006 Associated Editor ACM Communication in Computer Algebra, 2006 Program Committee Member of ISSAC 06 Proceedings Editor of ISSAC 05 Referee for various journals and international conferences Member of ACM Sigsam, AMS, Fachgruppe Computeralgebra. Software SumCracker (package for Mathematica; cf. [20]) Stirling (package for Mathematica; cf. [9]) Dependencies (package for Mathematica; cf. [5]) Interface package linking Singular to Mathematica; cf. [19] Gauss, Algo, Trees (various packages for L A TEX) See for these and further items

3 Invited Lectures xx TBA, Invited Talk at MAP 08, Trieste, Italy xx TBA, Invited Talk at L&L 08, Sondershausen, Germany xx TBA, Invited Talk at SRATC 08, Shanghai, China Symbolic Integration: A Modern View on the Risch Algorithm, Invited Colloquium Talk at DESY-Zeuthen, Berlin, Germany A Solution to Exercise 95, Invited Colloquium Talk at INRIA- Roquencourt, Paris, France How to Find Algebraic Relations, Invited Colloquium Talk at INRIA-Roquencourt, Paris, France A Solution to Exercise 95, Invited Colloquium Talk at Rutgers University, New Brunswick, USA Stirling Number Identities, Invited Talk at MPTM 07, Bonn, Germany Gröbner Bases and Applications to Special Functions, Invited Talk at the Trimestre on proof theory, Max-Planck-Institute for Mathematics, Bonn, Germany Cylindrical Algebraic Decomposition and Applications to Special Functions, Invited Talk at the Trimestre on proof theory, Max- Planck-Institute for Mathematics, Bonn, Germany Computer Algebra for Special Function Inequalities, Invited Talk at the National Meeting of the AMS, New Orleans, USA Proving and Finding Algebraic Dependencies of Combinatorial Sequences, Invited Talk at Special Semester on Gröbner Bases, Linz, Austria Computer Algebra Proofs for Combinatorial Inequalities and Identities, Invited Talk at MAP 06, Castro Urdialis, Spain Algorithmische Beweise für neue Klassen kombinatorischer Identitäten, Invited Colloquium Talk, University of Kassel, Germany. Publications [1] MK. Integration of Algebraic Functions: A Simple Heuristic for Finding the Logarithmic Part. Technical Report, SFB F013, Johannes Kepler Universität, to appear. (to be submitted to ISSAC 08.) [2] MK and Doron Zeilberger. The quasi-holonomic ansatz and restricted lattice walks. Journal of Difference Equations and Applications, to appear. (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [3] MK. Solving difference equations whose coefficients are not transcendental. Theoretical Computer Science, to appear. (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz)

4 [4] MK. Computer algebra for special function inequalities. In Tewodros Amdeberhan and Victor H. Moll, editors, Tapas in Experimental Mathematics, Contemporary Mathematics. AMS, to appear. (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [5] MK and Burkhard Zimmermann. Computing the algebraic relations of C- finite sequences and multisequences. Journal of Symbolic Computation, to appear. (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [6] MK and Günter Landsmann. Computer algebra and symbolic computation by J.S. Cohen. Book Review. Communications in Computer Algebra, to appear. [7] MK and Carsten Schneider. Automated proofs for some Stirling number identities. Electronic Journal of Combinatorics, 15(1):#R2, January (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [8] MK and Peter Paule. A computer proof of Moll s log-concavity conjecture. Proceedings of the AMS, 135(12): , December MR (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [9] MK. Summation algorithms for Stirling number identities. Journal of Symbolic Computation, 42(11): , October (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [10] MK and Doron Zeilberger. Experiments with a positivity preserving operator. Technical Report , SFB F013, Johannes Kepler Universität, August (submitted to Experiment. Math.) [11] MK and Christoph Koutschan. A Mathematica package for q-holonomic sequences and power series. Technical Report , SFB F013, Johannes Kepler Universität, August (submitted to Ramanujan J.) [12] MK and Carsten Schneider. Symbolic summation with radical expressions. In Chris W. Brown (editor), Proceedings of ISSAC 07, Waterloo, Canada, pages , July (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [13] MK. Computer algebra and power series with positive coefficients. In Bill Chen and Jean-Yves Thibon (editors), Proceedings of FPSAC 07, Tianjin, China, electronic ( July (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [14] MK, Manfred Kerber, Robert Miner, and Wolfgang Windsteiger, editors. Towards Mechanized Mathematical Assistants, Joint Proceedings of Calculemus 07 and MKM 07, Hagenberg, Austria. Vol of Lecture Notes in Artificial Intelligence. 406 pp. Springer Heidelberg, ISBN , June [15] Horst Alzer, Stefan Gerhold, MK, and Alexandru Lupaş. On Turán s inequality for Legendre polynomials. Expositiones Mathematicae, 25(2): , May MR (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz)

5 [16] MK. An algorithm for deciding zero equivalence of nested polynomially recurrent sequences. Transactions on Algorithms, 3(2):#18, May MR (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [17] MK. Problem The American Mathematical Monthly, 113(10):939, December [18] MK. Shift equivalence of P-finite sequences. The Electronic Journal of Combinatorics, 13(1):#R100, November MR (2007h:68149). (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [19] MK and Viktor Levandovskyy. An interface between Singular and Mathematica. Technical Report , SFB F013, Johannes Kepler Universität, October [20] MK. SumCracker: A package for manipulating symbolic sums and related objects. Journal of Symbolic Computation, 41(9): , September MR (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [21] MK and Carsten Schneider. Indefinite summation with unspecified sequences. Discrete Mathematics, 306(17): , September MR (2007i:05018). (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [22] MK and Carsten Schneider. Application of unspecified sequences in symbolic summation. In Jean-Guillaume Dumas (editor), Proceedings of ISSAC 06, Genova, Italy, pages , July MR (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [23] Stefan Gerhold and MK. A computer proof of Turán s inequality. Journal of Inequalities in Pure and Applied Mathematics, 7(2):#42, May MR (2007a:26021). (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [24] Stefan Gerhold, MK, and Joachim Schöberl. On a conjectured inequality for a sum of Legendre polynomials. Technical Report , SFB F013, Johannes Kepler Universität, April [25] MK. Algorithms for Nonlinear Higher Order Difference Equations. PhD thesis, RISC-Linz, Johannes Kepler Universität Linz, October [26] Stefan Gerhold and MK. A procedure for proving special function inequalities involving a discrete parameter. In Manuel Kauers (editor), Proceedings of ISSAC 05, Beijing, China, pages , July MR (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz) [27] MK, editor. Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC 05), 374 pp. ACM Press New York, ISBN , July MR (2007g:68005). [28] MK. Computer proofs for polynomial identities in arbitrary many variables. In Jaime Gutierrez (editor), Proceedings of ISSAC 04, Santander, Spain, pages , July MR (Also Techn. Rep. SFB F , Joh. Kepler Univ. Linz)

6 [29] Clemens Ballarin and MK. Solving parametric linear systems: an experiment with constraint algebraic programming. Sigsam Bulletin, 38(2):33 46, June MR (2005f:68172). [30] MK. ZET user manual. Technical Report , SFB F013, Johannes Kepler Universität, March [31] MK. Computing limits of sequences. Poster at ISSAC 03, Philadelphia, USA, August (Abstract in ACM Sigsam Bulletin 37(3):74 77, September 2003). [32] MK, Stephan Vogel, Christian Fügen, and Alex Waibel. Interlingua based statistical machine translation. In John H.L. Hansen and Bryan Pellom (editors), Proceedings of ICSLP 02, Denver, USA, pages , September [33] MK. Verstehen natürlicher Sprache durch statistische übersetzung in eine termbasierte Interlingua. Diploma thesis (in German), Universität Karlsruhe, May [34] Clemens Ballarin and MK. Solving parametric linear systems: an experiment with constraint algebraic programming. In Heinz Kredel and Werner K. Seiler (editors), Proceedings of the 8th Rhine Workshop of Computer Algebra, Manheim, Germany, March [35] MK. Strategien zum Lösen parametrischer Linearer Gleichungssysteme. Studienarbeit (in German), Universität Karlsruhe, August 2001.

Curriculum vitae (November 2017) Professional preparation. Appointments. Synergistic activities

University of Virginia Department of Mathematics Kerchof Hall, P.O. Box 400137 Charlottesville VA 22904 Email: ershov@virginia.edu Web: http://people.virginia.edu/ mve2x Curriculum vitae (November 2017)