Computing one of Victor Moll's irresistible integrals with computer algebra. - Christoph Koutschan; Viktor Levandovskyy (Comput. Sci. J. Moldova, 2008)

Regular languages and their generating functions: The inverse problem. - Christoph Koutschan (Theor. Comput. Sci., 2008)

Advanced applications of the holonomic systems approach. - Christoph Koutschan (ACM Commun. Comput. Algebra, 2009)

Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem - Christoph Koutschan (CoRR, 2009)

Proof of George Andrews's and David Robbins's q-TSPP Conjecture. - Christoph Koutschan; Manuel Kauers; Doron Zeilberger (CoRR, 2010)

The 1958 Pekeris-Accad-WEIZAC Ground-Breaking Collaboration that computed Ground States of Two-Electron Atoms (and its 2010 Redux) - Christoph Koutschan; Doron Zeilberger (CoRR, 2010)

A Fast Approach to Creative Telescoping. - Christoph Koutschan (Math. Comput. Sci., 2010)

On Two-Generated Non-commutative Algebras Subject to the Affine Relation. - Viktor Levandovskyy; Christoph Koutschan; Oleksandr Motsak (CASC, 2011)

On Kahan's Rules for Determining Branch Cuts. - Frédéric Chyzak; James H. Davenport; Christoph Koutschan; Bruno Salvy (SYNASC, 2011)

The sl3 Jones polynomial of the trefoil: A case study of q-holonomic sequences. - Stavros Garoufalidis; Christoph Koutschan (Adv. Appl. Math., 2011)

Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations - Christoph Koutschan; Christoph Lehrenfeld; Joachim Schöberl (CoRR, 2011)

Lattice Green's Functions of the Higher-Dimensional Face-Centered Cubic Lattices - Christoph Koutschan (CoRR, 2011)

Advanced Computer Algebra for Determinants - Christoph Koutschan; Thotsaporn "Aek" Thanatipanonda (CoRR, 2011)

Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II. - Christoph Koutschan; Peter Paule; Sergei K. Suslov (AADIOS, 2012)

Twisting q-holonomic sequences by complex roots of unity. - Stavros Garoufalidis; Christoph Koutschan (ISSAC, 2012)

Zeilberger's holonomic ansatz for Pfaffians. - Masao Ishikawa; Christoph Koutschan (ISSAC, 2012)

Irreducibility of q-difference operators and the knot 7_4 - Stavros Garoufalidis; Christoph Koutschan (CoRR, 2012)

Multivariate linear recurrences and power series division. - Herwig Hauser; Christoph Koutschan (Discret. Math., 2012)

The Noncommutative A-Polynomial of (-2, 3, n) Pretzel Knots. - Stavros Garoufalidis; Christoph Koutschan (Exp. Math., 2012)

Holonomic functions in mathematica. - Christoph Koutschan (ACM Commun. Comput. Algebra, 2013)

Creative Telescoping for Holonomic Functions. - Christoph Koutschan (CoRR, 2013)

Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order - Stefan Gerhold; Manuel Kauers; Christoph Koutschan; Peter Paule; Carsten Schneider; Burkhard Zimmermann (CoRR, 2013)

A generalized Apagodu-Zeilberger algorithm. - Shaoshi Chen; Manuel Kauers; Christoph Koutschan (ISSAC, 2014)

Integral D-Finite Functions. - Manuel Kauers; Christoph Koutschan (ISSAC, 2015)

Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. - Christoph Koutschan; Helene Ranetbauer; Georg Regensburger; Marie-Therese Wolfram (SYNASC, 2015)

Multi-parameter laser modes in paraxial optics. - Christoph Koutschan; Erwin Suazo; Sergei K. Suslov (ACM Commun. Comput. Algebra, 2015)

Proof of the Wilf-Zeilberger Conjecture. - Shaoshi Chen; Christoph Koutschan (CoRR, 2015)

MIMO Zero-Forcing Performance Evaluation Using the Holonomic Gradient Method. - Constantin Siriteanu; Akimichi Takemura; Satoshi Kuriki; Hyundong Shin; Christoph Koutschan (IEEE Trans. Wirel. Commun., 2015)

Reduction-Based Creative Telescoping for Algebraic Functions. - Shaoshi Chen; Manuel Kauers; Christoph Koutschan (ISSAC, 2016)

Inverse inequality estimates with symbolic computation. - Christoph Koutschan; Martin Neumüller; Cristian-Silviu Radu (Adv. Appl. Math., 2016)

Motion polynomials and planar linkages. - Christoph Koutschan (ACM Commun. Comput. Algebra, 2016)

Holonomic Tools for Basic Hypergeometric Functions. - Christoph Koutschan; Peter Paule (CoRR, 2016)

Exact ZF Analysis and Computer-Algebra-Aided Evaluation in Rank-1 LoS Rician Fading. - Constantin Costi Siriteanu; Akimichi Takemura; Christoph Koutschan; Satoshi Kuriki; Donald St. P. Richards; Hyundong Shin (IEEE Trans. Wirel. Commun., 2016)

Computing the number of realizations of a Laman graph. - Jose Capco; Matteo Gallet; Georg Grasegger; Christoph Koutschan; Niels Lubbes; Josef Schicho (Electron. Notes Discret. Math., 2017)

Planar linkages following a prescribed motion. - Matteo Gallet; Christoph Koutschan; Zijia Li; Georg Regensburger; Josef Schicho; Nelly Villamizar (Math. Comput., 2017)

Desingularization in the q-Weyl algebra. - Christoph Koutschan; Yi Zhang (Adv. Appl. Math., 2018)

Desingularization in the q-Weyl algebra. - Christoph Koutschan; Yi Zhang (CoRR, 2018)

Reduction-based creative telescoping for fuchsian D-finite functions. - Shaoshi Chen; Mark van Hoeij; Manuel Kauers; Christoph Koutschan (J. Symb. Comput., 2018)

The Number of Realizations of a Laman Graph. - Jose Capco; Matteo Gallet; Georg Grasegger; Christoph Koutschan; Niels Lubbes; Josef Schicho (SIAM J. Appl. Algebra Geom., 2018)

Exact Lower Bounds for Monochromatic Schur Triples and Generalizations. - Christoph Koutschan; Elaine Wong (CoRR, 2019)

A curious family of binomial determinants that count rhombus tilings of a holey hexagon. - Christoph Koutschan; Thotsaporn Thanatipanonda (J. Comb. Theory A, 2019)

Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms. - Shaoshi Chen; Christoph Koutschan (J. Symb. Comput., 2019)

Foreword. - Michel Beaudin; Thierry N. Dana-Picard; Alexander B. Levin; Christoph Koutschan; Ilias S. Kotsireas; Daniel Robertz (Math. Comput. Sci., 2019)

Lower Bounds on the Number of Realizations of Rigid Graphs. - Georg Grasegger; Christoph Koutschan; Elias P. Tsigaridas (Exp. Math., 2020)

Calculation and Properties of Zonal Polynomials. - Lin Jiu; Christoph Koutschan (Math. Comput. Sci., 2020)

Approximation of convex polygons by polygons. - Christoph Koutschan; Anton Ponomarchuk; Josef Schicho (SYNASC, 2021)

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 (CoRR, 2021)

Realizations of Rigid Graphs. - Christoph Koutschan (ADG, 2021)

Creative Telescoping on Multiple Sums. - Christoph Koutschan; Elaine Wong (Math. Comput. Sci., 2021)

Common Factors in Fraction-Free Matrix Decompositions. - Johannes Middeke; David J. Jeffrey; Christoph Koutschan (Math. Comput. Sci., 2021)

Unboundedness of Linear Regions of Deep ReLU Neural Networks. - Anton Ponomarchuk; Christoph Koutschan; Bernhard Moser 001 (DEXA Workshops, 2022)

Tessellation-Filtering ReLU Neural Networks. - Bernhard Alois Moser; Michal Lewandowski; Somayeh Kargaran; Werner Zellinger; Battista Biggio; Christoph Koutschan (IJCAI, 2022)

Guessing with Little Data. - Manuel Kauers; Christoph Koutschan (ISSAC, 2022)

Binomial determinants for tiling problems yield to the holonomic ansatz. - Hao Du 001; Christoph Koutschan; Thotsaporn Thanatipanonda; Elaine Wong (Eur. J. Comb., 2022)

Diagonals of Rational Functions: From Differential Algebra to Effective Algebraic Geometry. - Youssef Abdelaziz; Salah Boukraa; Christoph Koutschan; Jean-Marie Maillard (Symmetry, 2022)

Using Generating Functions to Prove Additivity of Gene-Neighborhood Based Phylogenetics - Extended Abstract. - Guy Katriel; Udi Mahanaymi; Christoph Koutschan; Doron Zeilberger; Mike A. Steel; Sagi Snir (ISBRA, 2023)

Transcendence Certificates for D-finite Functions. - Manuel Kauers; Christoph Koutschan; Thibaut Verron (ISSAC, 2023)

A Unified Approach to Unimodality of Gaussian Polynomials. - Christoph Koutschan; Ali Kemal Uncu; Elaine Wong (ISSAC, 2023)

Some D-finite and some Possibly D-finite Sequences in the OEIS. - Manuel Kauers; Christoph Koutschan (CoRR, 2023)

Representing Piecewise-Linear Functions by Functions with Minimal Arity. - Christoph Koutschan; Anton Ponomarchuk; Josef Schicho (CoRR, 2024)

Quaternary Legendre pairs II. - Ilias S. Kotsireas; Christoph Koutschan; Arne Winterhof (Discret. Math., 2025)

Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations. - Christoph Koutschan; Christian Krattenthaler; Michael J. Schlosser (J. Symb. Comput., 2025)

Non-minimality of minimal telescopers explained by residues. - Shaoshi Chen; Manuel Kauers; Christoph Koutschan; Xiuyun Li; Rong-Hua Wang; Yisen Wang 007 (CoRR, 2025)

A Shape Lemma for Ideals of Differential Operators. - Manuel Kauers; Christoph Koutschan; Thibaut Verron (CoRR, 2025)

Creative Telescoping. - Shaoshi Chen; Manuel Kauers; Christoph Koutschan (CoRR, 2025)

Representing piecewise linear functions by functions with small arity. - Christoph Koutschan; Bernhard Moser 001; Anton Ponomarchuk; Josef Schicho (Appl. Algebra Eng. Commun. Comput., 2025)

How to generate all possible rational Wilf-Zeilberger forms? - Shaoshi Chen; Christoph Koutschan; Yisen Wang 007 (J. Symb. Comput., 2026)