Christoph Koutschan

Orcid: 0000-0003-1135-3082

Affiliations:
  • Johannes Kepler University, Linz, Austria


According to our database1, Christoph Koutschan authored at least 62 papers between 2008 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Representing Piecewise-Linear Functions by Functions with Minimal Arity.
CoRR, 2024

How to generate all possible rational Wilf-Zeilberger forms?
CoRR, 2024

2023
Representing Piecewise Linear Functions by Functions with Small Arity.
CoRR, 2023

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

A Unified Approach to Unimodality of Gaussian Polynomials.
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

Transcendence Certificates for D-finite Functions.
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.
Proceedings of the Bioinformatics Research and Applications - 19th International Symposium, 2023

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

Binomial determinants for tiling problems yield to the holonomic ansatz.
Eur. J. Comb., 2022

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

Tessellation-Filtering ReLU Neural Networks.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Unboundedness of Linear Regions of Deep ReLU Neural Networks.
Proceedings of the Database and Expert Systems Applications - DEXA 2022 Workshops, 2022

2021
Common Factors in Fraction-Free Matrix Decompositions.
Math. Comput. Sci., 2021

Creative Telescoping on Multiple Sums.
Math. Comput. Sci., 2021

Realizations of Rigid Graphs.
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].
CoRR, 2021

Approximation of convex polygons by polygons.
Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

2020
Calculation and Properties of Zonal Polynomials.
Math. Comput. Sci., 2020

Lower Bounds on the Number of Realizations of Rigid Graphs.
Exp. Math., 2020

2019
Foreword.
Math. Comput. Sci., 2019

Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms.
J. Symb. Comput., 2019

A curious family of binomial determinants that count rhombus tilings of a holey hexagon.
J. Comb. Theory A, 2019

Exact Lower Bounds for Monochromatic Schur Triples and Generalizations.
CoRR, 2019

2018
The Number of Realizations of a Laman Graph.
SIAM J. Appl. Algebra Geom., 2018

Reduction-based creative telescoping for fuchsian D-finite functions.
J. Symb. Comput., 2018

Desingularization in the q-Weyl algebra.
CoRR, 2018

Desingularization in the <i>q</i>-Weyl algebra.
Adv. Appl. Math., 2018

2017
Planar linkages following a prescribed motion.
Math. Comput., 2017

Computing the number of realizations of a Laman graph.
Electron. Notes Discret. Math., 2017

2016
Exact ZF Analysis and Computer-Algebra-Aided Evaluation in Rank-1 LoS Rician Fading.
IEEE Trans. Wirel. Commun., 2016

Holonomic Tools for Basic Hypergeometric Functions.
CoRR, 2016

Motion polynomials and planar linkages.
ACM Commun. Comput. Algebra, 2016

Inverse inequality estimates with symbolic computation.
Adv. Appl. Math., 2016

Reduction-Based Creative Telescoping for Algebraic Functions.
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2015
MIMO Zero-Forcing Performance Evaluation Using the Holonomic Gradient Method.
IEEE Trans. Wirel. Commun., 2015

Proof of the Wilf-Zeilberger Conjecture.
CoRR, 2015

Multi-parameter laser modes in paraxial optics.
ACM Commun. Comput. Algebra, 2015

Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models.
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Integral D-Finite Functions.
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014
A generalized Apagodu-Zeilberger algorithm.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

2013
Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
CoRR, 2013

Creative Telescoping for Holonomic Functions.
CoRR, 2013

Holonomic functions in mathematica.
ACM Commun. Comput. Algebra, 2013

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

Multivariate linear recurrences and power series division.
Discret. Math., 2012

Irreducibility of q-difference operators and the knot 7_4
CoRR, 2012

Zeilberger's holonomic ansatz for Pfaffians.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

Twisting q-holonomic sequences by complex roots of unity.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II.
Proceedings of the Algebraic and Algorithmic Aspects of Differential and Integral Operators, 2012

2011
Advanced Computer Algebra for Determinants
CoRR, 2011

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

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

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

On Kahan's Rules for Determining Branch Cuts.
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.
Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2010
A Fast Approach to Creative Telescoping.
Math. Comput. Sci., 2010

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

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

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

Advanced applications of the holonomic systems approach.
ACM Commun. Comput. Algebra, 2009

2008
Regular languages and their generating functions: The inverse problem.
Theor. Comput. Sci., 2008

Computing one of Victor Moll's irresistible integrals with computer algebra.
Comput. Sci. J. Moldova, 2008


  Loading...