Christoph Koutschan

According to our database, Christoph Koutschan authored at least 60 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Representing Piecewise Linear Functions by Functions with Small Arity.

Christoph Koutschan, Bernhard Moser, Anton Ponomarchuk, Josef Schicho

CoRR, 2023

Some D-finite and some Possibly D-finite Sequences in the OEIS.

Manuel Kauers, Christoph Koutschan

CoRR, 2023

A Unified Approach to Unimodality of Gaussian Polynomials.

Christoph Koutschan, Ali Kemal Uncu, Elaine Wong

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

Transcendence Certificates for D-finite Functions.

Manuel Kauers, Christoph Koutschan, Thibaut Verron

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

Using Generating Functions to Prove Additivity of Gene-Neighborhood Based Phylogenetics - Extended Abstract.

Guy Katriel, Udi Mahanaymi, Christoph Koutschan, Doron Zeilberger, Mike Steel, Sagi Snir

Proceedings of the Bioinformatics Research and Applications - 19th International Symposium, 2023

2022

Diagonals of Rational Functions: From Differential Algebra to Effective Algebraic Geometry.

Youssef Abdelaziz, Salah Boukraa, Christoph Koutschan, Jean-Marie Maillard

Symmetry, 2022

Binomial determinants for tiling problems yield to the holonomic ansatz.

Hao Du, Christoph Koutschan, Thotsaporn Thanatipanonda, Elaine Wong

Eur. J. Comb., 2022

Guessing with Little Data.

Manuel Kauers, Christoph Koutschan

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

Tessellation-Filtering ReLU Neural Networks.

Bernhard Alois Moser, Michal Lewandowski, Somayeh Kargaran, Werner Zellinger, Battista Biggio, Christoph Koutschan

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Unboundedness of Linear Regions of Deep ReLU Neural Networks.

Anton Ponomarchuk, Christoph Koutschan, Bernhard Moser

Proceedings of the Database and Expert Systems Applications - DEXA 2022 Workshops, 2022

2021

Common Factors in Fraction-Free Matrix Decompositions.

Johannes Middeke, David J. Jeffrey, Christoph Koutschan

Math. Comput. Sci., 2021

Creative Telescoping on Multiple Sums.

Christoph Koutschan, Elaine Wong

Math. Comput. Sci., 2021

Realizations of Rigid Graphs.

Christoph Koutschan

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 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

Approximation of convex polygons by polygons.

Christoph Koutschan, Anton Ponomarchuk, Josef Schicho

Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

2020

Calculation and Properties of Zonal Polynomials.

Lin Jiu, Christoph Koutschan

Math. Comput. Sci., 2020

Lower Bounds on the Number of Realizations of Rigid Graphs.

Georg Grasegger, Christoph Koutschan, Elias P. Tsigaridas

Exp. Math., 2020

2019

Foreword.

Michel Beaudin, Thierry N. Dana-Picard, Alexander B. Levin, Christoph Koutschan, Ilias S. Kotsireas, Daniel Robertz

Math. Comput. Sci., 2019

Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms.

Shaoshi Chen, Christoph Koutschan

J. Symb. Comput., 2019

A curious family of binomial determinants that count rhombus tilings of a holey hexagon.

Christoph Koutschan, Thotsaporn Thanatipanonda

J. Comb. Theory, Ser. A, 2019

Exact Lower Bounds for Monochromatic Schur Triples and Generalizations.

Christoph Koutschan, Elaine Wong

CoRR, 2019

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

Reduction-based creative telescoping for fuchsian D-finite functions.

Shaoshi Chen, Mark van Hoeij, Manuel Kauers, Christoph Koutschan

J. Symb. Comput., 2018

Desingularization in the q-Weyl algebra.

Christoph Koutschan, Yi Zhang

CoRR, 2018

Desingularization in the <i>q</i>-Weyl algebra.

Christoph Koutschan, Yi Zhang

Adv. Appl. Math., 2018

2017

Planar linkages following a prescribed motion.

Matteo Gallet, Christoph Koutschan, Zijia Li, Georg Regensburger, Josef Schicho, Nelly Villamizar

Math. Comput., 2017

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

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

Holonomic Tools for Basic Hypergeometric Functions.

Christoph Koutschan, Peter Paule

CoRR, 2016

Motion polynomials and planar linkages.

Christoph Koutschan

ACM Commun. Comput. Algebra, 2016

Inverse inequality estimates with symbolic computation.

Christoph Koutschan, Martin Neumüller, Cristian-Silviu Radu

Adv. Appl. Math., 2016

Reduction-Based Creative Telescoping for Algebraic Functions.

Shaoshi Chen, Manuel Kauers, Christoph Koutschan

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

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

Proof of the Wilf-Zeilberger Conjecture.

Shaoshi Chen, Christoph Koutschan

CoRR, 2015

Multi-parameter laser modes in paraxial optics.

Christoph Koutschan, Erwin Suazo, Sergei K. Suslov

ACM Commun. Comput. Algebra, 2015

Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models.

Christoph Koutschan, Helene Ranetbauer, Georg Regensburger, Marie-Therese Wolfram

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Integral D-Finite Functions.

Manuel Kauers, Christoph Koutschan

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014

A generalized Apagodu-Zeilberger algorithm.

Shaoshi Chen, Manuel Kauers, Christoph Koutschan

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

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

Creative Telescoping for Holonomic Functions.

Christoph Koutschan

CoRR, 2013

Holonomic functions in mathematica.

Christoph Koutschan

ACM Commun. Comput. Algebra, 2013

2012

The Noncommutative <i>A</i>-Polynomial of (-2, 3, <i>n</i>) Pretzel Knots.

Stavros Garoufalidis, Christoph Koutschan

Exp. Math., 2012

Multivariate linear recurrences and power series division.

Herwig Hauser, Christoph Koutschan

Discret. Math., 2012

Irreducibility of q-difference operators and the knot 7_4

Stavros Garoufalidis, Christoph Koutschan

CoRR, 2012

Zeilberger's holonomic ansatz for Pfaffians.

Masao Ishikawa, Christoph Koutschan

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

Twisting q-holonomic sequences by complex roots of unity.

Stavros Garoufalidis, Christoph Koutschan

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II.

Christoph Koutschan, Peter Paule, Sergei K. Suslov

Proceedings of the Algebraic and Algorithmic Aspects of Differential and Integral Operators, 2012

2011

Advanced Computer Algebra for Determinants

Christoph Koutschan, Thotsaporn "Aek" Thanatipanonda

CoRR, 2011

Lattice Green's Functions of the Higher-Dimensional Face-Centered Cubic Lattices

Christoph Koutschan

CoRR, 2011

Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations

Christoph Koutschan, Christoph Lehrenfeld, Joachim Schöberl

CoRR, 2011

The sl3 Jones polynomial of the trefoil: A case study of <i>q</i>-holonomic sequences.

Stavros Garoufalidis, Christoph Koutschan

Adv. Appl. Math., 2011

On Kahan's Rules for Determining Branch Cuts.

Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

On Two-Generated Non-commutative Algebras Subject to the Affine Relation.

Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2010

A Fast Approach to Creative Telescoping.

Christoph Koutschan

Math. Comput. Sci., 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

Proof of George Andrews's and David Robbins's q-TSPP Conjecture.

Christoph Koutschan, Manuel Kauers, Doron Zeilberger

CoRR, 2010

2009

Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem

Christoph Koutschan

CoRR, 2009

Advanced applications of the holonomic systems approach.

Christoph Koutschan

ACM Commun. Comput. Algebra, 2009

2008

Regular languages and their generating functions: The inverse problem.

Christoph Koutschan

Theor. Comput. Sci., 2008

Computing one of Victor Moll's irresistible integrals with computer algebra.

Christoph Koutschan, Viktor Levandovskyy

Comput. Sci. J. Moldova, 2008