RISC-Linz RISC-Linz Research Institute for Symbolic Computation  


Christoph Koutschan, Dr.

RISC PostDoc


M. Gallet, C. Koutschan, Z. Li, G. Regensburger, J. Schicho, N. Villamizar. Planar linkages following a prescribed motion. Math. Comp. 87, pp. 473-506. 2017. ISSN: 1088-6842. [url] [bib]
Jose Capco, Georg Grasegger, Matteo Gallet, Christoph Koutschan, Niels Lubbes, Josef Schicho. The number of realizations of a Laman graph. Research Institute for Symbolic Computation (RISC/JKU). Technical report, 2017. [url] [pdf] [bib]
Christoph Koutschan, Peter Paule. Holonomic Tools for Basic Hypergeometric Functions. In: Frontiers of Orthogonal Polynomials and q-Series, Xin Li, Zuhair Nashed (ed.), pp. ?-?. 2016. World Scientific Publishing, ISBN ???-?-?????. To appear. [pdf] [bib]
Joachim Schoeberl, Christoph Koutschan, Peter Paule. Method, device and computer program product for determining an electromagnetic near field of a field excitation source for an electrical system. 2015. European Patent Office, European Patent EP2378444, US patent US8868382. [url] [bib]
Manuel Kauers, Christoph Koutschan. Integral D-Finite Functions. arxiv. Technical report no. 1501.03691, 2015. [pdf] [bib]
Christoph Koutschan, Peter Paule, Sergei K. Suslov. Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II. In: Algebraic and Algorithmic Aspects of Differential and Integral Operators, Moulay Barkatou and Thomas Cluzeau and Georg Regensburger and Markus Rosenkranz (ed.), Lecture Notes in Computer Science 8372, pp. 135-145. 2014. Springer, Berlin Heidelberg, ISBN 978-3-642-54478-1. [pdf] [bib]
Shaoshi Chen, Manuel Kauers, Christoph Koutschan. A Generalized Apagodu-Zeilberger Algorithm. In: Proceedings of ISSAC 2014, Katsusuke Nabeshima (ed.), pp. 107-114. 2014. ISBN 978-1-4503-2501-1. [pdf] [bib]
Christoph Koutschan, Thotsaporn Thanatipanonda. Advanced Computer Algebra for Determinants. Annals of Combinatorics 17(3), pp. 509-523. 2013. ISSN 0218-0006. [url] [pdf] [bib]
Irina Georgieva, Clemens Hofreither, Christoph Koutschan, Veronika Pillwein, Thotsaporn Thanatipanonda. Harmonic interpolation based on Radon projections along the sides of regular polygons. Central European Journal of Mathematics 11(4), pp. 609-620. 2013. ISSN 1895-1074. [pdf] [bib]
S. Gerhold, M. Kauers, C. Koutschan, P. Paule, C. Schneider, B. Zimmermann. Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order. In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, C. Schneider, J. Bluemlein (ed.), Texts and Monographs in Symbolic Computation , pp. 75-96. 2013. Springer, ISBN-13: 978-3709116159. arXiv:1305.4818 [cs.SC]. [url] [bib]
Christoph Koutschan, Christoph Lehrenfeld, Joachim Schoeberl. Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer, Peter Paule (ed.), Texts and Monographs in Symbolic Computation 1, pp. 105-121. 2012. Springer, Wien, ISBN 978-3-7091-0793-5. [pdf] [bib]
Tewodros Amdeberhan, Christoph Koutschan, Victor H. Moll, Eric S. Rowland. The iterated integrals of ln(1+x^n). International Journal of Number Theory 8(1), pp. 71-94. 2012. ISSN 1793-0421. [pdf] [bib]
Stavros Garoufalidis, Christoph Koutschan. The non-commutative A-polynomial of (-2, 3, n) pretzel knots. Experimental Mathematics 21(3), pp. 241-251. 2012. ISSN 1058-6458. [url] [pdf] [bib]
Masao Ishikawa, Christoph Koutschan. Zeilberger's Holonomic Ansatz for Pfaffians. In: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (ISSAC), Joris van der Hoeven, Mark van Hoeij (ed.), pp. 227-233. 2012. ACM, ISBN 978-1-4503-1269. [url] [pdf] [bib]
Stavros Garoufalidis, Christoph Koutschan. Twisting q-holonomic sequences by complex roots of unity. In: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (ISSAC), Joris van der Hoeven, Mark van Hoeij (ed.), pp. 179-186. 2012. ACM, ISBN 978-1-4503-1269. [url] [pdf] [bib]
Herwig Hauser, Christoph Koutschan. Linear Recurrences and Power Series Division. Discrete Mathematics 312(24), pp. 3553-3560. 2012. ISSN 0012-365X. [pdf] [bib]
Thierry Combot, Christoph Koutschan. Third order integrability conditions for homogeneous potentials of degree -1. Journal of Mathematical Physics 53(8), pp. 082704-. 2012. ISSN 0022-2488. [pdf] [bib]
Tewodros Amdeberhan, Mark W. Coffey, Olivier Espinosa, Christoph Koutschan, Dante V. Manna, Victor H. Moll. Integrals of powers of loggamma. Proceedings of the AMS 139(2), pp. 535-545. 2011. ISSN 0002-9939. [pdf] [bib]
Christoph Koutschan, Victor H. Moll. The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs. SCIENTIA Series A: Mathematical Sciences 20, pp. 93-111. 2011. Universidad Tecnica Federico Santa Maria, Valparaiso, Chile, ISSN 0716-8446. [pdf] [bib]
Christoph Koutschan, Manuel Kauers, Doron Zeilberger. Proof of George Andrews's and David Robbins's q-TSPP conjecture. Proceedings of the National Academy of Sciences 108(6), pp. 2196-2199. 2011. ISSN 0027-8424. [url] [pdf] [bib]
Stavros Garoufalidis, Christoph Koutschan. The sl3 Jones polynomial of the trefoil: a case study of q-holonomic recursions. Advances in Applied Mathematics 47(4), pp. 829-839. 2011. ISSN 0196-8858. [pdf] [bib]
Christoph Koutschan, Doron Zeilberger. The 1958 Pekeris-Accad-WEIZAC Ground-Breaking Collaboration that computed Ground States of Two-Electron Atoms (and its 2010 Redux). The Mathematical Intelligencer 33(2), pp. 52-57. 2011. ISSN 0343-6993. [url] [pdf] [bib]
Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak. On Two-generated Non-commutative Algebras Subject to the Affine Relation. In: Proceedings of CASC 2011, Vladimir Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii Vorozhtsov (ed.), Lecture Notes in Computer Science 6885, pp. 309-320. 2011. Springer, ISBN 978-3-642-23567-2. [pdf] [bib]
Frederic Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy. On Kahan's Rules for Determining Branch Cuts. In: Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Dongming Wang et al. (ed.), pp. 47-51. 2011. IEEE Computer Society: Conference Publishing Services (CPS), ISBN 978-0-7695-4630-8. [pdf] [bib]
Christoph Koutschan. Lattice Green's Functions of the Higher-Dimensional Face-Centered Cubic Lattices. ArXiv (www.arxiv.org). Technical report no. 1108.2164, 2011. [url] [pdf] [bib]
Christoph Koutschan. HolonomicFunctions (User's Guide). Technical report no. 10-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2010. [url] [pdf] [bib]
Christoph Koutschan. A Fast Approach to Creative Telescoping. Mathematics in Computer Science 4(2-3), pp. 259-266. 2010. ISSN 1661-8270. [pdf] [bib]
Christoph Koutschan. Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem. In: Gems in Experimental Mathematics, Tewodros Amdeberhan and Luis A. Medina and Victor H. Moll (ed.), Contemporary Mathematics 517, pp. 219-230. 2010. American Mathematical Society, ISSN 0271-4132. [pdf] [bib]
Manuel Kauers, Christoph Koutschan. A Mathematica Package for q-Holonomic Sequences and Power Series. The Ramanujan Journal 19(2), pp. 137-150. 2009. Springer, ISSN 1382-4090. [pdf] [ps] [bib]
Manuel Kauers, Christoph Koutschan, Doron Zeilberger. A Proof of George Andrews' and Dave Robbins' q-TSPP-Conjecture (modulo a finite amount of routine calculations). The personal Journal of Ekhad and Zeilberger, pp. 1-8. January 2009. [url] [pdf] [ps] [bib]
Manuel Kauers, Christoph Koutschan, Doron Zeilberger. Proof of Ira Gessel's Lattice Path Conjecture. Proceedings of the National Academy of Sciences 106(28), pp. 11502-11505. July 2009. ISSN 0027-8424. [ps] [pdf] [bib]
Christoph Koutschan. Advanced Applications of the Holonomic Systems Approach. RISC-Linz, Johannes Kepler University. PhD Thesis. September 2009. [url] [pdf] [bib]
Christoph Koutschan. HolonomicFunctions. RISC, Johannes Kepler University Linz, Austria, 2009. Software presentation at FPSAC'2009 (21st International Conference on Formal Power Series and Algebraic Combinatorics). [bib]
Christoph Koutschan. Regular Languages and Their Generating Functions: The Inverse Problem. Theoretical Computer Science 391(1-2), pp. 65-74. 2008. ISSN 0304-3975. [pdf] [ps] [bib]
Christoph Koutschan, Viktor Levandovskyy. Computing one of Victor Moll's irresistible integrals with computer algebra. Computer Science Journal of Moldova 16(1(46)), pp. 35-49. 2008. ISSN 1561-4042. [pdf] [bib]
Christoph Koutschan. Regular Languages and Their Generating Functions: The Inverse Problem. Friedrich-Alexander-Universität Erlangen-Nürnberg. Diploma Thesis. August 2005. [url] [pdf] [bib]