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 13.
-
How to generate all possible rational Wilf–Zeilberger forms?
Shaoshi Chen, Christoph Koutschan, Yisen Wang
Journal of Symbolic Computation 132, 102473, 2026.
[pdf] [doi] [bib]
-
Creative telescoping
Shaoshi Chen, Manuel Kauers, Christoph Koutschan
Technical report no. 2502.05345 on arXiv, 2025.
Submitted for publication.
[pdf] [bib]
-
A shape lemma for ideals of differential operators
Manuel Kauers, Christoph Koutschan, Thibaut Verron
Journal of Algebra 677, pp. 448–459, 2025.
[pdf] [doi] [bib]
-
Non-minimality of minimal telescopers explained by residues
Shaoshi Chen, Manuel Kauers, Christoph Koutschan, Xiuyun Li, Rong-Hua Wang, Yisen Wang
In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), 2025.
ACM, New York, USA.
To appear (preprint on arXiv:2502.03757).
[pdf] [bib]
-
The (symbolic and numeric) computational challenges of counting 0-1 balanced matrices
Robert Dougherty-Bliss, Christoph Koutschan, Natalya Ter-Saakov, Doron Zeilberger
Enumerative Combinatorics and Applications 5(2), #S2R14, 2025.
[pdf] [doi] [bib]
-
Quaternary Legendre pairs II
Ilias S. Kotsireas, Christoph Koutschan, Arne Winterhof
Discrete Mathematics 348(9), Article 114501, 2025.
[pdf] [doi] [bib]
-
Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations
Christoph Koutschan, Christian Krattenthaler, Michael J. Schlosser
Journal of Symbolic Computation 127(2), 102352, 2025.
[pdf] [doi] [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 36(4), pp. 595–610, 2025.
[pdf] [doi] [bib]
-
On potentials integrated by the Nikiforov–Uvarov method
Lina Ellis, Ikumi Ellis, Christoph Koutschan, Sergei K. Suslov
In: Applications and q-Extensions of Hypergeometric Functions, Howard S. Cohl, Roberto S. Costas-Santos, Robert S. Maier (editors),
Contemporary Mathematics 819,
pp. 43–95, 2025.
American Mathematical Society, 978-1-4704-7654-0.
[pdf] [doi] [bib]
-
Representing piecewise-linear functions by functions with minimal arity
Christoph Koutschan, Anton Ponomarchuk, Josef Schicho
Technical report no. 2024-11 in the RICAM Reports Series, 2024.
Submitted for publication (preprint on arXiv:2406.02421).
[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 2366-6323.
[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 72(6), pp. 1403–1417, 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]
-
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]