• Home
• Publications
• Talks
• Software
• Teaching
• Curriculum Vitae
• Photography
• Miscellaneous

Publications

See also my publications on MathSciNet, Zentralblatt MATH, Google Scholar, and arXiv. Here is my list of collaborators. My Erdős number is 3 with multiplicity 8.

• Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations
  Christoph Koutschan, Christian Krattenthaler, Michael J. Schlosser
  Technical report no. 2024-01 in the RICAM Reports Series, 2024. Submitted for publication.  [pdf]  [bib]
• Diagonally symmetric alternating sign matrices
  Roger E. Behrend, Ilse Fischer, Christoph Koutschan
  Technical report no. 2023-27 in the RICAM Reports Series, 2023. Submitted for publication (preprint on arXiv:2309.08446).  [pdf]  [url]  [bib]
• Legendre pairs of lengths l≡0 (mod 5)
  Ilias S. Kotsireas, Christoph Koutschan, Dursun A. Bulutoglu, David M. Arquette, Jonathan S. Turner, Kenneth J. Ryan
  Special Matrices 11(1), 20230105, 2023.  [pdf]  [doi]  [bib]
• Using generating functions to prove additivity of gene-neighborhood based phylogenetics
  Guy Katriel, Udi Mahanaymi, Christoph Koutschan, Doron Zeilberger, Mike Steel, Sagi Snir
  In: Bioinformatics Research and Applications (Proceedings of ISBRA 2023), Xuan Guo, Serghei Mangul, Murray Patterson, Alexander Zelikovsky (editors), Lecture Notes in Bioinformatics 14248, pp. 120–135, 2023. Springer Nature, 152 Beach Road, #21-01/04 Gateway East, Singapore 189721, Singapore, ISBN 978-981-99-7073-5, ISSN 0302-9743.  [pdf]  [doi]  [bib]
• Collisionless shock region of the KdV equation and an entry in Gradshteyn and Ryzhik
  Tewodros Amdeberhan, Victor H. Moll, John Lopez Santander, Ken McLaughlin, Christoph Koutschan
  Physica D: Nonlinear Phenomena 456, 133909, 2023.  [pdf]  [doi]  [bib]
• A case study in determinant evaluations
  Tewodros Amdeberhan, Christoph Koutschan, Doron Zeilberger
  Séminaire Lotharingien de Combinatoire 89, Article B89a, 2023.  [pdf]  [bib]
• Transcendence certificates for D-finite functions
  Manuel Kauers, Christoph Koutschan, Thibaut Verron
  In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 372–380, 2023. ACM, New York, USA, ISBN 979-8-4007-0039-2.  [pdf]  [doi]  [bib]
• A unified approach to unimodality of Gaussian polynomials
  Christoph Koutschan, Ali K. Uncu, Elaine Wong
  In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 434–442, 2023. ACM, New York, USA, ISBN 979-8-4007-0039-2.  [pdf]  [url]  [doi]  [bib]
• Gene transfer-based phylogenetics: analytical expressions and additivity via birth-death theory
  Guy Katriel, Udi Mahanaymi, Shelly Brezner, Noor Kezel, Christoph Koutschan, Doron Zeilberger, Mike Steel, Sagi Snir
  Systematic Biology, syad060, 2023.  [pdf]  [doi]  [bib]
• Some D-finite and some possibly D-finite sequences in the OEIS
  Manuel Kauers, Christoph Koutschan
  Journal of Integer Sequences 26(4), Article 23.4.5, 2023.  [pdf]  [url]  [bib]
• On potentials integrated by the Nikiforov–Uvarov method
  Lina Ellis, Ikumi Ellis, Christoph Koutschan, Sergei K. Suslov
  Technical report no. 2023-11 in the RICAM Reports Series, 2023. Submitted for publication (preprint on arXiv:2303.02560).  [pdf]  [bib]
• Representing piecewise linear functions by functions with small arity
  Christoph Koutschan, Bernhard Moser, Anton Ponomarchuk, Josef Schicho
  Applicable Algebra in Engineering, Communication and Computing, 2023. To appear (preprint on arXiv:2305.16933).  [pdf]  [doi]  [bib]
• How does the gerrymander sequence continue?
  Manuel Kauers, Christoph Koutschan, George Spahn
  Journal of Integer Sequences 25(9), Article 22.9.7, 2022.  [pdf]  [url]  [bib]
• Guessing with little data
  Manuel Kauers, Christoph Koutschan
  In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 83–90, 2022. ACM, New York, USA, ISBN 978-1-4503-8688-3.  [pdf]  [doi]  [bib]
• Apéry limits for elliptic L-values
  Christoph Koutschan, Wadim Zudilin
  Bulletin of the Australian Mathematical Society 106(2), pp. 273–279, 2022.  [pdf]  [doi]  [bib]
• Unboundedness of linear regions of deep ReLU neural networks
  Anton Ponomarchuk, Christoph Koutschan, Bernhard Moser
  In: Database and Expert Systems Applications - DEXA 2022 Workshops, Communications in Computer and Information Science 1633, pp. 3–10, 2022. Springer, ISBN 978-3-031-14342-7.  [pdf]  [doi]  [bib]
• Binomial determinants for tiling problems yield to the holonomic ansatz
  Hao Du, Christoph Koutschan, Thotsaporn Thanatipanonda, Elaine Wong
  European Journal of Combinatorics 99, 103437, 2022.  [pdf]  [url]  [doi]  [bib]
• Tessellation-filtering ReLU neural networks
  Bernhard A. Moser, Michal Lewandowski, Somayeh Kargaran, Werner Zellinger, Battista Biggio, Christoph Koutschan
  International Joint Conference on Artificial Intelligence 22, pp. 3335–3341, 2022.  [pdf]  [doi]  [bib]
• Tweaking the Beukers integrals in search of more miraculous irrationality proofs á la Apéry
  Robert Dougherty-Bliss, Christoph Koutschan, Doron Zeilberger
  The Ramanujan Journal 58, pp. 973–994, 2022.  [pdf]  [url]  [doi]  [bib]
• Diagonals of rational functions: from differential algebra to effective algebraic geometry
  Youssef Abdelaziz, Salah Boukraa, Christoph Koutschan, Jean-Marie Maillard
  Symmetry 14(7), 1297, 2022.  [pdf]  [doi]  [bib]
• Approximation of convex polygons by polygons
  Christoph Koutschan, Anton Ponomarchuk, Josef Schicho
  In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), pp. 91–98, 2021.  [pdf]  [doi]  [bib]
• There are EXACTLY 1493804444499093354916284290188948031229880469556 ways to derange a standard deck of cards (ignoring suits) [and many other such useful facts]
  Shalosh B. Ekhad, Christoph Koutschan, Doron Zeilberger
  Enumerative Combinatorics and Applications 1(3), #S2R17, 2021.  [pdf]  [url]  [bib]
• Legendre pairs of lengths l ≡ 0 (mod 3)
  Ilias Kotsireas, Christoph Koutschan
  Journal of Combinatorial Designs 29(12), pp. 870–887, 2021.  [pdf]  [doi]  [bib]
• Creative telescoping on multiple sums
  Christoph Koutschan, Elaine Wong
  Mathematics in Computer Science 15(3), pp. 483–498, 2021.  [pdf]  [url]  [doi]  [bib]
• Common factors in fraction-free matrix decompositions
  Johannes Middeke, David J. Jeffrey, Christoph Koutschan
  Mathematics in Computer Science 15(4), pp. 589–608, 2021.  [pdf]  [doi]  [bib]
• Holonomic anti-differentiation and Feynman amplitudes
  Christoph Koutschan
  In: Anti-Differentiation and the Calculation of Feynman Amplitudes, Texts & Monographs in Symbolic Computation, pp. 261–277, 2021. Springer, ISBN 978-3-030-80218-9, ISSN 0943-853X.  [pdf]  [doi]  [bib]
• Exact lower bounds for monochromatic Schur triples and generalizations
  Christoph Koutschan, Elaine Wong
  In: Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra, Texts & Monographs in Symbolic Computation, pp. 223–248, 2020. Springer, ISBN 978-3-030-44558-4, ISSN 0943-853X.  [pdf]  [url]  [doi]  [bib]
• On the singular value decomposition of n-fold integration operators
  Ronny Ramlau, Christoph Koutschan, Bernd Hofmann
  In: Inverse Problems and Related Topics, Springer Proceedings in Mathematics & Statistics 310, pp. 237–256, 2020. Springer, ISSN 2194-1009, ISBN 978-981-15-1591-0.  [pdf]  [doi]  [bib]
• On Christol's conjecture
  Youssef Abdelaziz, Christoph Koutschan, Jean-Marie Maillard
  Journal of Physics A: Mathematical and Theoretical 53(20), 205201, 2020.  [pdf]  [doi]  [bib]
• Calculation and properties of zonal polynomials
  Lin Jiu, Christoph Koutschan
  Mathematics in Computer Science 14, pp. 623–640, 2020.  [pdf]  [url]  [doi]  [bib]
• Heun functions and diagonals of rational functions
  Youssef Abdelaziz, Salah Boukraa, Christoph Koutschan, Jean-Marie Maillard
  Journal of Physics A: Mathematical and Theoretical 53(7), 075206, 2020.  [pdf]  [doi]  [bib]
• Lower bounds on the number of realizations of rigid graphs
  Georg Grasegger, Christoph Koutschan, Elias Tsigaridas
  Experimental Mathematics 29(2), pp. 125–136, 2020.  [pdf]  [doi]  [bib]
• Effective algebraic analysis approach to linear systems over Ore algebras
  Thomas Cluzeau, Christoph Koutschan, Alban Quadrat, Maris Tõnso
  In: Algebraic and Symbolic Computation Methods in Dynamical Systems, Advances in Delays and Dynamics 9, pp. 3–52, 2020. Springer, ISBN 978-3-030-38355-8, ISSN 2197-117X.  [pdf]  [doi]  [bib]
• A curious family of binomial determinants that count rhombus tilings of a holey hexagon
  Christoph Koutschan, Thotsaporn Thanatipanonda
  Journal of Combinatorial Theory, Series A 166, pp. 352–381, 2019.  [pdf]  [url]  [doi]  [bib]
• Proof of the Wilf–Zeilberger conjecture for mixed hypergeometric terms
  Shaoshi Chen, Christoph Koutschan
  Journal of Symbolic Computation 93, pp. 133–147, 2019.  [pdf]  [doi]  [bib]
• Diagonals of rational functions, pullbacked 2F1 hypergeometric functions and modular forms
  Youssef Abdelaziz, Salah Boukraa, Christoph Koutschan, Jean-Marie Maillard
  Journal of Physics A: Mathematical and Theoretical 51(45), 455201, 2018.  [pdf]  [url]  [doi]  [bib]
• Echelons of power series and Gabrielov's counterexample to nested linear Artin approximation
  Mariemi E. Alonso, Francisco J. Castro-Jiménez, Herwig Hauser, Christoph Koutschan
  Bulletin of the London Mathematical Society 50(4), pp. 649–662, 2018.  [pdf]  [doi]  [bib]
• Diagonals of rational functions, pullbacked 2F1 hypergeometric functions and modular forms (unabrigded version)
  Youssef Abdelaziz, Salah Boukraa, Christoph Koutschan, Jean-Marie Maillard
  Technical report no. 1805.04711 on arXiv, 2018.  [pdf]  [url]  [bib]
• Desingularization in the q-Weyl algebra
  Christoph Koutschan, Yi Zhang
  Advances in Applied Mathematics 97, pp. 80–101, 2018.  [pdf]  [url]  [doi]  [bib]
• The number of realizations of a Laman graph
  Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan, Niels Lubbes, Josef Schicho
  SIAM Journal on Applied Algebra and Geometry 2(1), pp. 94–125, 2018.  [pdf]  [url]  [doi]  [bib]
• Reduction-based creative telescoping for fuchsian D-finite functions
  Shaoshi Chen, Mark van Hoeij, Manuel Kauers, Christoph Koutschan
  Journal of Symbolic Computation 85, pp. 108–127, 2018.  [pdf]  [doi]  [bib]
• Holonomic tools for basic hypergeometric functions
  Christoph Koutschan, Peter Paule
  In: Frontiers in Orthogonal Polynomials and q-Series, pp. 393–416, 2018. World Scientific, ISBN 978-981-3228-87-0.  [pdf]  [doi]  [bib]
• Computing the number of realizations of a Laman graph
  Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan, Niels Lubbes, Josef Schicho
  Electronic Notes in Discrete Mathematics (Proceedings of Eurocomb 2017) 61, pp. 207–213, 2017.  [pdf]  [doi]  [bib]
• Planar linkages following a prescribed motion
  Matteo Gallet, Christoph Koutschan, Zijia Li, Georg Regensburger, Josef Schicho, Nelly Villamizar
  Mathematics of Computation 86, pp. 473–506, 2017.  [pdf]  [url]  [doi]  [bib]
• Motion polynomials and planar linkages
  Christoph Koutschan
  ACM Communications in Computer Algebra 50(3), pp. 109–112, 2016.  [pdf]  [url]  [doi]  [bib]
• Inverse inequality estimates with symbolic computation
  Christoph Koutschan, Martin Neumüller, Cristian-Silviu Radu
  Advances in Applied Mathematics 80, pp. 1–23, 2016.  [pdf]  [url]  [doi]  [bib]
• Reduction-based creative telescoping for algebraic functions
  Shaoshi Chen, Manuel Kauers, Christoph Koutschan
  In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 175–182, 2016. ACM, New York, USA, ISBN 978-1-4503-4380-0.  [pdf]  [doi]  [bib]
• Lattice Green functions: the d-dimensional face-centred cubic lattice, d = 8, 9, 10, 11, 12
  Saoud Hassani, Christoph Koutschan, Jean-Marie Maillard, Nadjah Zenine
  Journal of Physics A: Mathematical and Theoretical 49(16), 164003, 2016.  [pdf]  [url]  [doi]  [bib]
• Exact ZF analysis and computer-algebra-aided evaluation in rank-1 LoS Rician fading
  Constantin Siriteanu, Akimichi Takemura, Christoph Koutschan, Satoshi Kuriki, Donald St. P. Richards, Hyundong Shin
  IEEE Transactions on Wireless Communications 15(8), pp. 5245–5259, 2016.  [pdf]  [url]  [doi]  [bib]
• Verfahren, Vorrichtung und Computerprogrammprodukt zur Bestimmung eines elektromagnetischen Nahfeldes einer Feldanregungsquelle eines elektrischen Systems (Method, device and computer program product for determining an electromagnetic near field of a field excitation source for an electrical system)
  Joachim Schöberl, Christoph Koutschan, Peter Paule
  European patent EP2378444, US patent US8868382, 2015.  [pdf]  [url]  [bib]
• Fundamental laser modes in paraxial optics: from computer algebra and simulations to experimental observation
  Christoph Koutschan, Erwin Suazo, Sergei K. Suslov
  Applied Physics B: Lasers and Optics 121(3), pp. 315–336, 2015.  [pdf]  [doi]  [bib]
• Symbolic derivation of mean-field PDEs from lattice-based models
  Christoph Koutschan, Helene Ranetbauer, Georg Regensburger, Marie-Therese Wolfram
  In: Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), pp. 27–33, 2015. IEEE Computer Society Conference Publishing Services (CPS), ISBN 978-1-5090-0461-4.  [pdf]  [url]  [doi]  [bib]
• Integral D-finite functions
  Manuel Kauers, Christoph Koutschan
  In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 251–258, 2015. ACM, New York, USA, ISBN 978-1-4503-3435-8.  [pdf]  [doi]  [bib]
• MIMO zero-forcing performance evaluation using the holonomic gradient method
  Constantin Siriteanu, Akimichi Takemura, Satoshi Kuriki, Hyundong Shin, Christoph Koutschan
  IEEE Transactions on Wireless Communications 14(4), pp. 2322–2335, 2015.  [pdf]  [doi]  [bib]
• A generalized Apagodu-Zeilberger algorithm
  Shaoshi Chen, Manuel Kauers, Christoph Koutschan
  In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 107–114, 2014. ACM, New York, USA, ISBN 978-1-4503-2501-1.  [pdf]  [doi]  [bib]
• Relativistic Coulomb integrals and Zeilberger's holonomic systems approach II
  Christoph Koutschan, Peter Paule, Sergei K. Suslov
  In: Algebraic and Algorithmic Aspects of Differential and Integral Operators, Lecture Notes in Computer Science 8372, pp. 135–145, 2014. Springer-Verlag, Berlin Heidelberg, ISBN 978-3-642-54478-1.  [pdf]  [doi]  [bib]
• Holonomic functions in Mathematica
  Christoph Koutschan
  ACM Communications in Computer Algebra 47(4), pp. 179–182, 2013.  [pdf]  [doi]  [bib]
• Creative telescoping for holonomic functions
  Christoph Koutschan
  In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Carsten Schneider, Johannes Blümlein (editors), Texts & Monographs in Symbolic Computation, pp. 171–194, 2013. Springer, Wien, ISBN 978-3-7091-1615-9.  [pdf]  [doi]  [bib]
• Computer-assisted proofs of some identities for Bessel functions of fractional order
  Stefan Gerhold, Manuel Kauers, Christoph Koutschan, Peter Paule, Carsten Schneider, Burkhard Zimmermann
  In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Carsten Schneider, Johannes Blümlein (editors), Texts & Monographs in Symbolic Computation, pp. 75–96, 2013. Springer, Wien, ISBN 978-3-7091-1615-9.  [pdf]  [doi]  [bib]
• Irreducibility of q-difference operators and the knot 7_4
  Stavros Garoufalidis, Christoph Koutschan
  Algebraic & Geometric Topology 13(6), pp. 3261–3286, 2013.  [pdf]  [url]  [doi]  [bib]
• Lattice Green's functions of the higher-dimensional face-centered cubic lattices
  Christoph Koutschan
  Journal of Physics A: Mathematical and Theoretical 46(12), 125005, 2013.  [pdf]  [url]  [doi]  [bib]
• Advanced computer algebra for determinants
  Christoph Koutschan, Thotsaporn Thanatipanonda
  Annals of Combinatorics 17(3), pp. 509–523, 2013.  [pdf]  [url]  [doi]  [bib]
• Harmonic interpolation based on Radon projections along the sides of regular polygons
  Irina Georgieva, Clemens Hofreither, Christoph Koutschan, Veronika Pillwein, Thotsaporn Thanatipanonda
  Central European Journal of Mathematics 11(4), pp. 609–620, 2013.  [pdf]  [doi]  [bib]
• The non-commutative A-polynomial of (-2, 3, n) pretzel knots
  Stavros Garoufalidis, Christoph Koutschan
  Experimental Mathematics 21(3), pp. 241–251, 2012.  [pdf]  [url]  [doi]  [bib]
• The integrals in Gradshteyn and Ryzhik. Part 22: Bessel-K functions
  Larry Glasser, Karen T. Kohl, Christoph Koutschan, Victor H. Moll, Armin Straub
  SCIENTIA Series A: Mathematical Sciences 22, pp. 129–151, 2012.  [pdf]  [bib]
• Multivariate linear recurrences and power series division
  Herwig Hauser, Christoph Koutschan
  Discrete Mathematics 312(24), pp. 3553–3560, 2012.  [pdf]  [doi]  [bib]
• Third order integrability conditions for homogeneous potentials of degree -1
  Thierry Combot, Christoph Koutschan
  Journal of Mathematical Physics 53(8), 082704, 2012.  [pdf]  [doi]  [bib]
• Zeilberger's holonomic ansatz for Pfaffians
  Masao Ishikawa, Christoph Koutschan
  In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 227–233, 2012. ACM, New York, USA, ISBN 978-1-4503-1269.  [pdf]  [url]  [doi]  [bib]
• Twisting q-holonomic sequences by complex roots of unity
  Stavros Garoufalidis, Christoph Koutschan
  In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 179–186, 2012. ACM, New York, USA, ISBN 978-1-4503-1269.  [pdf]  [url]  [doi]  [bib]
• The iterated integrals of ln(1+x^n)
  Tewodros Amdeberhan, Christoph Koutschan, Victor H. Moll, Eric S. Rowland
  International Journal of Number Theory 8(1), pp. 71–94, 2012.  [pdf]  [doi]  [bib]
• Computer algebra meets finite elements: an efficient implementation for Maxwell's equations
  Christoph Koutschan, Christoph Lehrenfeld, Joachim Schöberl
  In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer, Peter Paule (editors), Texts & Monographs in Symbolic Computation, pp. 105–121, 2012. Springer, Wien, ISBN 978-3-7091-0793-5.  [pdf]  [doi]  [bib]
• On Kahan's rules for determining branch cuts
  Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy
  In: Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), pp. 47–51, 2011. IEEE Computer Society Conference Publishing Services (CPS), ISBN 978-0-7695-4630-8.  [pdf]  [doi]  [bib]
• On two-generated non-commutative algebras subject to the affine relation
  Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak
  In: Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing (CASC), Lecture Notes in Computer Science 6885, pp. 309–320, 2011. Springer, Berlin Heidelberg, ISBN 978-3-642-23567-2.  [pdf]  [doi]  [bib]
• The sl_3 Jones polynomial of the trefoil: a case study of q-holonomic sequences
  Stavros Garoufalidis, Christoph Koutschan
  Advances in Applied Mathematics 47(4), pp. 829–839, 2011.  [pdf]  [doi]  [bib]
• Proof of George Andrews's and David Robbins's q-TSPP conjecture
  Christoph Koutschan, Manuel Kauers, Doron Zeilberger
  Proceedings of the National Academy of Sciences 108(6), pp. 2196–2199, 2011.  [pdf]  [url]  [doi]  [bib]
• The integrals in Gradshteyn and Ryzhik. Part 18: some automatic proofs
  Christoph Koutschan, Victor H. Moll
  SCIENTIA Series A: Mathematical Sciences 20, pp. 93–111, 2011.  [pdf]  [bib]
• The 1958 Pekeris-Accad-WEIZAC ground-breaking collaboration that computed ground states of two-electron atoms (and its 2010 redux)
  Christoph Koutschan, Doron Zeilberger
  The Mathematical Intelligencer 33(2), pp. 52–57, 2011.  [pdf]  [url]  [doi]  [bib]
• Integrals of powers of loggamma
  Tewodros Amdeberhan, Mark W. Coffey, Olivier Espinosa, Christoph Koutschan, Dante V. Manna, Victor H. Moll
  Proceedings of the AMS 139(2), pp. 535–545, 2011.  [pdf]  [doi]  [bib]
• Eliminating human insight: an algorithmic proof of Stembridge's TSPP Theorem
  Christoph Koutschan
  In: Gems in Experimental Mathematics, Tewodros Amdeberhan, Luis A. Medina, Victor H. Moll (editors), Contemporary Mathematics 517, pp. 219–230, 2010. American Mathematical Society, ISBN 978-0-8218-4869-2.  [pdf]  [doi]  [bib]
• A fast approach to creative telescoping
  Christoph Koutschan
  Mathematics in Computer Science 4(2-3), pp. 259–266, 2010.  [pdf]  [doi]  [bib]
• HolonomicFunctions (user's guide)
  Christoph Koutschan
  Technical report no. 10-01 in the RISC Report Series, Johannes Kepler University, Linz, Austria, 2010.  [pdf]  [url]  [bib]
• Advanced applications of the holonomic systems approach
  Christoph Koutschan
  ACM Communications in Computer Algebra 43(3/4), pp. 119–119, 2009.  [pdf]  [url]  [doi]  [bib]
• Advanced applications of the holonomic systems approach
  Christoph Koutschan
  PhD thesis, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, 2009.  [pdf]  [url]  [bib]
• A Proof of George Andrews' and Dave Robbins' q-TSPP conjecture (modulo a finite amount of routine calculations)
  Manuel Kauers, Christoph Koutschan, Doron Zeilberger
  The personal journal of Shalosh B. Ekhad and Doron Zeilberger, 2009.  [pdf]  [url]  [bib]
• Proof of Ira Gessel's lattice path conjecture
  Manuel Kauers, Christoph Koutschan, Doron Zeilberger
  Proceedings of the National Academy of Sciences 106(28), pp. 11502–11505, 2009.  [pdf]  [url]  [doi]  [bib]
• A Mathematica package for q-holonomic sequences and power series
  Manuel Kauers, Christoph Koutschan
  The Ramanujan Journal 19(2), pp. 137–150, 2009.  [pdf]  [url]  [doi]  [bib]
• Computing one of Victor Moll's irresistible integrals with computer algebra
  Christoph Koutschan, Viktor Levandovskyy
  Computer Science Journal of Moldova 16(1(46)), pp. 35–49, 2008.  [pdf]  [bib]
• Regular languages and their generating functions: the inverse problem
  Christoph Koutschan
  Theoretical Computer Science 391(1-2), pp. 65–74, 2008.  [pdf]  [doi]  [bib]
• Regular languages and their generating functions: the inverse problem
  Christoph Koutschan
  Master thesis (Diplomarbeit), Friedrich-Alexander-Universität, Erlangen-Nürnberg, Germany, 2005.  [pdf]  [url]  [bib]