Kontakt
Email: Christoph.Koutschan(at)oeaw.ac.at
Telefon: +43 (732) 2468 - 5254
https://orcid.org/0000-0003-1135-3082
Veröffentlichungen
Beitrag in Fachzeitschrift (39)
- Amdeberhan, Tewodros; Moll, Victor H.; Santander, John Lopez; McLaughlin, Ken; Koutschan, Christoph (2023) Collisionless shock region of the KdV equation and an entry in Gradshteyn and Ryzhik. Physica D: Nonlinear Phenomena, Bd. 456, S. 133909.
- Kotsireas, Ilias S.; Koutschan, Christoph; Bulutoglu, Dursun A.; Arquette, David M.; Turner, Jonathan S. et al. [..] (2023) Legendre pairs of lengths ℓ≡0 (mod 5). Special Matrices, Bd. 11 (1), S. 20230105.
- Katriel, Guy; Mahanaymi, Udi; Brezner, Shelly; Kezel, Noor; Koutschan, Christoph et al. [..] (2023) Gene transfer-based phylogenetics: analytical expressions and additivity via birth-death theory. Systematic Biology, Bd. syad060, S. ?-?.DOI RIS ENW BIB
- Koutschan, Christoph; Moser, Bernhard; Ponomarchuk, Anton; Schicho, Josef (2023) Representing piecewise linear functions by functions with small arity. Applicable Algebra in Engineering, Communication and Computing, Bd. to appear, S. ?-?.
- Amdeberhan, Tewodros; Koutschan, Christoph; Zeilberger, Doron (2023) A case study in determinant evaluations. Séminaire Lotharingien de Combinatoire, Bd. 89, S. Art. B89a.Download RIS ENW BIB
- Kauers, Manuel; Koutschan, Christoph (2023) Some D-finite and some possibly D-finite sequences in the OEIS. Journal of Integer Sequences, Bd. 26 (4), S. Article 23.4.5.
- Kauers, Manuel; Koutschan, Christoph; Spahn, George (2022) How does the gerrymander sequence continue?. Journal of Integer Sequences, Bd. 25 (9), S. Article 22.9.7.
- Koutschan, Christoph; Zudilin, Wadim (2022) Apéry limits for elliptic L-values. Bulletin of the Australian Mathematical Society, Bd. 106 (2), S. 273-279.
- Abdelaziz, Youssef; Boukraa, Salah; Koutschan, Christoph; Maillard, Jean-Marie (2022) Diagonals of rational functions: from differential algebra to effective algebraic geometry. Symmetry, Bd. 14 (7), S. 1297.
- Dougherty-Bliss, Robert; Koutschan, Christoph; Zeilberger, Doron (2022) Tweaking the Beukers integrals in search of more miraculous irrationality proofs à la Apéry. The Ramanujan Journal, Bd. 58, S. 973-994.
- Du, Hao; Koutschan, Christoph; Thanatipanonda, Thotsaporn; Wong, Elaine (2022, online: 2021) Binomial Determinants for Tiling Problems Yield to the Holonomic Ansatz. European Journal of Combinatorics, Bd. 99, S. 103437.
- Middeke, Johannes; Jeffrey, David J.; Koutschan, Christoph (2021, online: 2020) Common factors in fraction-free matrix decompositions. Mathematics in Computer Science, Bd. 15 (4), S. 589-608.
- Kotsireas, Ilias; Koutschan, Christoph (2021) Legendre pairs of lengths ℓ≡0 (mod 3). Journal of Combinatorial Designs, Bd. 29 (12), S. 870-887.
- Koutschan, Christoph; Wong, Elaine (2021) Creative Telescoping on Multiple Sums. Mathematics in Computer Science, Bd. 15 (3), S. 483-498.
- Ekhad, Shalosh B.; Koutschan, Christoph; Zeilberger, Doron (2021) There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (ignoring suits) [and many other such useful facts]. Enumerative Combinatorics and Applications, Bd. 1 (3), S. #S2R17.
- Jiu, Lin; Koutschan, Christoph (2020) Calculation and properties of zonal polynomials. Mathematics in Computer Science, Bd. 14, S. 623-640.
- Grasegger, Georg; Koutschan, Christoph; Tsigaridas, Elias (2020, online: 2018) Lower bounds on the number of realizations of rigid graphs. Experimental Mathematics, Bd. 29 (2), S. 125-136.
- Abdelaziz, Youssef; Koutschan, Christoph; Maillard, Jean-Marie (2020) On Christol's conjecture. Journal of Physics A: Mathematical and Theoretical, Bd. 53 (20), S. 205201.
- Abdelaziz, Youssef; Boukraa, Salah; Koutschan, Christoph; Maillard, Jean-Marie (2020) Heun functions and diagonals of rational functions. Journal of Physics A: Mathematical and Theoretical, Bd. 53 (7), S. 075206.
- Koutschan, Christoph; Thanatipanonda, Thotsaporn (2019) A curious family of binomial determinants that count rhombus tilings of a holey hexagon. Journal of Combinatorial Theory, Series A, Bd. 166, S. 352-381.
- Chen, Shaoshi; Koutschan, Christoph (2019, online: 2018) Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms. Journal of Symbolic Computation, Bd. 93, S. 133-147.
- Abdelaziz, Youssef; Boukraa, Salah; Koutschan, Christoph; Maillard, Jean-Marie (2018) Diagonals of rational functions, pullbacked 2F1 hypergeometric functions and modular forms. Journal of Physics A: Mathematical and Theoretical, Bd. 51 (45), S. 455201.
- Alonso, Mariemi E.; Castro-Jimenez, Francisco J.; Hauser, Herwig; Koutschan, Christoph (2018) Echelons of power series and Gabrielov's counterexample to nested linear Artin approximation. Bulletin of the London Mathematical Society, Bd. 50 (4), S. 649-662.
- Koutschan, Christoph; Zhang, Yi (2018) Desingularization in the q-Weyl algebra. Advances in Applied Mathematics, Bd. 97, S. 80-101.
- Chen, Shaoshi; Hoeij, Mark van; Kauers, Manuel; Koutschan, Christoph (2018, online: 2017) Reduction-based creative telescoping for fuchsian D-finite functions. Journal of Symbolic Computation, Bd. 85, S. 108-127.
- Capco, Jose; Gallet, Matteo; Grasegger, Georg; Koutschan, Christoph; Lubbes, Niels et al. [..] (2018) The number of realizations of a Laman graph. SIAM Journal on Applied Algebra and Geometry, Bd. 2 (1), S. 94-125.
- Capco, Jose; Gallet, Matteo; Grasegger, Georg; Koutschan, Christoph; Lubbes, Niels et al. [..] (2017) Computing the number of realizations of a Laman graph. Electronic Notes in Discrete Mathematics, Bd. 61, S. 207-213.
- Gallet, Matteo; Koutschan, Christoph; Li, Zijia; Regensburger, Georg; Schicho, Josef et al. [..] (2017, online: 2016) Planar Linkages Following a Prescribed Motion. Mathematics of Computation, Bd. 86, S. 473-506.
- Koutschan, Christoph (2016) Motion polynomials and planar linkages. ACM Communications in Computer Algebra, Bd. 50 (3), S. 109-112.
- Koutschan, Christoph; Neumüller, Martin; Radu, Silviu (2016) Inverse Inequality Estimates with Symbolic Computation. Advances in Applied Mathematics, Bd. 80, S. 1-23.
- Siriteanu, Constantin; Takemura, Akimichi; Koutschan, Christoph; Kuriki, Satoshi; Richards, Donald St. P. et al. [..] (2016) Exact ZF analysis and computer-algebra-aided evaluation in rank-1 LoS Rician fading. IEEE Transactions on Wireless Communications, Bd. 15 (8), S. 5245-5259.
- Hassani, Saoud; Koutschan, Christoph; Maillard, Jean-Marie; Zenine, Nadjah (2016) Lattice Green Functions: the d-dimensional face-centred cubic lattice, d = 8, 9, 10, 11, 12. Journal of Physics A: Mathematical and Theoretical, Bd. 49 (16), S. 164003.
- Koutschan, Christoph; Suazo, Erwin; Suslov, Sergei K. (2015) Fundamental laser modes in paraxial optics: from computer algebra and simulations to experimental observation. Applied Physics B: Lasers and Optics, Bd. 121 (3), S. 315-336.
- Siriteanu, Constantin; Takemura, Akimichi; Kuriki, Satoshi; Shin, Hyundong; Koutschan, Christoph (2015, online: 2014) MIMO Zero-Forcing Performance Evaluation Using the Holonomic Gradient Method. IEEE Transactions on Wireless Communications, Bd. 14 (4), S. 2322-2335.
- Koutschan, Christoph (2013) Holonomic Functions in Mathematica. ACM Communications in Computer Algebra, Bd. 47 (4), S. 179-182.
- Garoufalidis, Stavros; Koutschan, Christoph (2013) Irreducibility of q-difference operators and the knot 7_4. Algebraic & Geometric Topology, Bd. 13 (6), S. 3261-3286.
- Koutschan, Christoph; Thanatipanonda, Thotsaporn (2013) Advanced Computer Algebra for Determinants. Annals of Combinatorics, Bd. 17 (3), S. 509-523.
- Georgieva, Irina; Hofreither, Clemens; Koutschan, Christoph; Pillwein, Veronika; Thanatipanonda, Thotsaporn (2013) Harmonic interpolation based on Radon projections along the sides of regular polygons. Central European Journal of Mathematics, Bd. 11 (4), S. 609-620.
- Koutschan, Christoph (2013) Lattice Green's functions of the higher-dimensional face-centered cubic lattices. Journal of Physics A: Mathematical and Theoretical, Bd. 46 (12), S. 125005.
Konferenzbeitrag: Publikation in Proceedings (11)
- Katriel, Guy; Mahanaymi, Udi; Koutschan, Christoph; Zeilberger, Doron; Steel, Mike et al. [..] (2023) Using generating functions to prove additivity of gene-neighborhood based phylogenetics. In: Guo, Xuan; Mangul, Serghei; Patterson, Murray; Zelikovsky, Alexander (Hrsg.), Bioinformatics Research and Applications (ISBRA 2023) In Reihe: Lecture Notes in Bioinformatics; Singapore: Springer Nature, S. 120-135.
- Koutschan, Christoph; Uncu, Ali; Wong, Elaine (2023) A unified approach to unimodality of Gaussian polynomials., Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2023); New York: ACM, S. 434-442.
- Kauers, Manuel; Koutschan, Christoph; Verron, Thibaut (2023) Transcendence certificates for D-finite functions., Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2023); New York: ACM, S. 372-380.
- Ponomarchuk, Anton; Koutschan, Christoph; Moser, Bernhard (2022) Unboundedness of Linear Regions of Deep ReLU Neural Networks., Database and Expert Systems Applications - DEXA 2022 Workshops: Springer, S. 3-10.
- Moser, Bernhard A.; Lewandowski, Michal; Kargaran, Somayeh; Zellinger, Werner; Biggio, Battista et al. [..] (2022) Tessellation-Filtering ReLU Neural Networks., International Joint Conference on Artificial Intelligence (IJCAI 2022); Wien, S. 3335-3341.
- Kauers, Manuel; Koutschan, Christoph (2022) Guessing with little data., Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2022); New York: ACM, S. 83-90.
- Koutschan, Christoph; Ponomarchuk, Anton; Schicho, Josef (2022) Approximation of convex polygons by polygons., 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC): IEEE, S. 91-98.
- Chen, Shaoshi; Kauers, Manuel; Koutschan, Christoph (2016) Reduction-Based Creative Telescoping for Algebraic Functions., Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2016); New York: ACM, S. 175-182.
- Koutschan, Christoph; Ranetbauer, Helene; Regensburger, Georg; Wolfram, Marie-Therese (2015) Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models., 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC): IEEE Computer Society, Conference Publishing Services (CPS), S. 27-33.
- Kauers, Manuel; Koutschan, Christoph (2015) Integral D-Finite Functions., Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2015); New York: ACM, S. 251-258.
- Chen, Shaoshi; Kauers, Manuel; Koutschan, Christoph (2014) A Generalized Apagodu-Zeilberger Algorithm. In: Nabeshima, Katsusuke (Hrsg.), Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014); New York: ACM, S. 107-114.
Beitrag in Sammelwerk (8)
- Koutschan, Christoph (2021) Holonomic anti-differentiation and Feynman amplitudes. In: Blümlein, Johannes; Schneider, Carsten (Hrsg.), Anti-Differentiation and the Calculation of Feynman Amplitudes, S. 261-277.
- Koutschan, Christoph; Wong, Elaine (2020) Exact Lower Bounds for Monochromatic Schur Triples and Generalizations. In: Pillwein, Veronika; Schneider, Carsten (Hrsg.), Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra, S. 223-248.
- Cluzeau, Thomas; Koutschan, Christoph; Quadrat, Alban; Tonso, Maris (2020) Effective algebraic analysis approach to linear systems over Ore algebras. In: Quadrat, Alban; Zerz, Eva (Hrsg.), Algebraic and Symbolic Computation Methods in Dynamical Systems: Springer, S. 3-52.
- Ramlau, Ronny; Koutschan, Christoph; Hofmann, Bernd (2020) On the singular value decomposition of n-fold integration operators. In: Cheng, Jin; Lu, Shuai; Yamamoto, Masahiro (Hrsg.), Inverse Problems and Related Topics; Singapore: Springer, S. 237-256.
- Koutschan, Christoph; Paule, Peter (2018) Holonomic tools for basic hypergeometric functions. In: Nashed, Zuhair; Li, Xin (Hrsg.), Frontiers in Orthogonal Polynomials and q-Series: World Scientific, S. 393-416.
- Koutschan, Christoph; Paule, Peter; Suslov, Sergei K. (2014) Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II. In: Barkatou, Moulay; Cluzeau, Thomas; Regensburger, Georg; Rosenkranz, Markus (Hrsg.), Algebraic and Algorithmic Aspects of Differential and Integral Operators: Springer Berlin Heidelberg, S. 135-145.
- Koutschan, Christoph (2013) Creative Telescoping for Holonomic Functions. In: Schneider, Carsten; Blümlein, Johannes (Hrsg.), Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions; Vienna: Springer, S. 171-194.
- Gerhold, Stefan; Kauers, Manuel; Koutschan, Christoph; Paule, Peter; Schneider, Carsten et al. [..] (2013) Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order. In: Schneider, Carsten; Blümlein, Johannes (Hrsg.), Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions; Vienna: Springer, S. 75-96.
Herausgeberschaft (1)
- Filipuk, Galina; Koutschan, Christoph; Marcellán, Francisco; Assche, Walter Van (Hrsg.) (2021) Special issue OPSFA15: orthogonal polynomials, special functions and applications. In Reihe: Integral Transforms and Special Functions: Taylor & Francis.DOI RIS ENW BIB
Habilitationsschrift (1)
- Koutschan, Christoph (2017) Quod Erat Demonstrandum: Proofs by Computer.RIS ENW BIB
Forschungsbericht (50)
- Koutschan, Christoph; Krattenthaler, Christian; Schlosser, Michael J. (2024) Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations. Bericht-Nr. 2024-01; RICAM: Linz.
- Behrend, Roger E.; Fischer, Ilse; Koutschan, Christoph (2023) Diagonally symmetric alternating sign matrices. Bericht-Nr. 2023-27; RICAM: Linz.Download RIS ENW BIB
- Amdeberhan, Tewodros; Moll, Victor H.; Santander, John Lopez; McLaughlin, Ken; Koutschan, Christoph (2023) Collisionless shock region of the KdV equation and an entry in Gradshteyn and Ryzhik. Bericht-Nr. 2023-24; RICAM: Linz.Download RIS ENW BIB
- Amdeberhan, Tewodros; Koutschan, Christoph; Zeilberger, Doron (2023) A case study in determinant evaluations. Bericht-Nr. 2023-18; RICAM: Linz.Download RIS ENW BIB
- Kauers, Manuel; Koutschan, Christoph (2023) Some D-finite and some possibly D-finite sequences in the OEIS. Bericht-Nr. 2023-10; RICAM: Linz.Download RIS ENW BIB
- Ellis, Lina; Ellis, Ikumi; Koutschan, Christoph; Suslov, Sergei K. (2023) On potentials integrated by the Nikiforov-Uvarov method. Bericht-Nr. 2023-11; RICAM: Linz.Download RIS ENW BIB
- Koutschan, Christoph; Moser, Bernhard; Ponomarchuk, Anton; Schicho, Josef (2023) Representing piecewise linear functions by functions with small arity. Bericht-Nr. 2023-07; RICAM: Linz.Download RIS ENW BIB
- Kauers, Manuel; Koutschan, Christoph; Verron, Thibaut (2023) Transcendence certificates for D-finite functions. Bericht-Nr. 2023-02; RICAM: Linz.Download RIS ENW BIB
- Koutschan, Christoph; Uncu, Ali; Wong, Elaine (2023) A unified approach to unimodality of Gaussian polynomials. Bericht-Nr. 2023-03; RICAM: Linz.Download RIS ENW BIB
- Kauers, Manuel; Koutschan, Christoph; Spahn, George (2022) A348456(4) = 7157114189. Bericht-Nr. 2022-23; RICAM: Linz.Download RIS ENW BIB
- Moser, Bernhard A.; Lewandowski, Michal; Kargaran, Somayeh; Zellinger, Werner; Biggio, Battista et al. [..] (2022) Tessellation-Filtering ReLU Neural Networks. Bericht-Nr. 2022-22; RICAM: Linz.Download RIS ENW BIB
- Ponomarchuk, Anton; Koutschan, Christoph; Moser, Bernhard (2022) Unboundedness of Linear Regions of Deep ReLU Neural Networks. Bericht-Nr. 2022-9; RICAM: Linz.Download RIS ENW BIB
- Kotsireas, Ilias; Koutschan, Christoph; Bulutoglu, Dursun; Turner, Jonathan (2022) Legendre pairs of lengths ℓ≡0 (mod 5) and ℓl=85, ℓ=87 cases. Bericht-Nr. 2022-5; RICAM: Linz.Download RIS ENW BIB
- Katriel, Guy; Mahanaymi, Udi; Koutschan, Christoph; Zeilberger, Doron; Steel, Mike et al. [..] (2022) Gene transfer-based phylogenetics: analytical expressions and additivity via birth-death theory. Bericht-Nr. 2022.04.21.489106; bioRxiv:.Download RIS ENW BIB
- Kauers, Manuel; Koutschan, Christoph (2022) Guessing with little data. Bericht-Nr. 2022-03; RICAM: Linz.Download RIS ENW BIB
- Koutschan, Christoph; Zudilin, Wadim (2021) Apéry limits for elliptic L-values. Bericht-Nr. 2021-34; RICAM: Linz.Download RIS ENW BIB
- Koutschan, Christoph; Ponomarchuk, Anton; Schicho, Josef (2021) Approximation of convex polygons by polygons. Bericht-Nr. 2021-27; RICAM: Linz.Download RIS ENW BIB
- Du, Hao; Koutschan, Christoph; Thanatipanonda, Thotsaporn; Wong, Elaine (2021) Binomial Determinants for Tiling Problems Yield to the Holonomic Ansatz. Bericht-Nr. 2021-26; RICAM: Linz.Download RIS ENW BIB
- Dougherty-Bliss, Robert; Koutschan, Christoph; Zeilberger, Doron (2021) Tweaking the Beukers integrals in search of more miraculous irrationality proofs à la Apéry. Bericht-Nr. 2021-02; RICAM: Linz.Download RIS ENW BIB
- Kotsireas, Ilias; Koutschan, Christoph (2021) Legendre pairs of lengths l=0 (mod 3). Bericht-Nr. 2021-01; RICAM: Linz.Download RIS ENW BIB
- Koutschan, Christoph (2020) Holonomic anti-differentiation and Feynman amplitudes. Bericht-Nr. 2020-44; RICAM: Linz.Download RIS ENW BIB
- Koutschan, Christoph; Wong, Elaine (2020) Creative Telescoping on Multiple Sums. Bericht-Nr. 2020-43; RICAM: Linz.Download RIS ENW BIB
- Abdelaziz, Youssef; Boukraa, Salah; Koutschan, Christoph; Maillard, Jean-Marie (2020) Diagonals of rational functions: from differential algebra to effective algebraic geometry. Bericht-Nr. 2020-13; RICAM: Linz.Download RIS ENW BIB
- Abdelaziz, Youssef; Koutschan, Christoph; Maillard, Jean-Marie (2019) On Christol's conjecture. Bericht-Nr. 2019-35; RICAM: Linz.Download RIS ENW BIB
- Jiu, Lin; Koutschan, Christoph (2019) Calculation and properties of zonal polynomials. Bericht-Nr. 2019-33; RICAM: Linz.Download RIS ENW BIB
- Abdelaziz, Youssef; Boukraa, Salah; Koutschan, Christoph; Maillard, Jean-Marie (2019) Heun functions and diagonals of rational functions. Bericht-Nr. 2019-28; RICAM: Linz.Download RIS ENW BIB
- Koutschan, Christoph; Wong, Elaine (2019) Exact Lower Bounds for Monochromatic Schur Triples and Generalizations. Bericht-Nr. 2019-16; RICAM: Linz.Download RIS ENW BIB
- Ramlau, Ronny; Koutschan, Christoph; Hofmann, Bernd (2018) On the singular value decomposition of n-fold integration operators. Bericht-Nr. 2018-29; RICAM: Linz.Download RIS ENW BIB
- Abdelaziz, Youssef; Boukraa, Salah; Koutschan, Christoph; Maillard, Jean-Marie (2018) Diagonals of rational functions, pullbacked 2F1 hypergeometric functions and modular forms. Bericht-Nr. 2018-14; RICAM: Linz.Download RIS ENW BIB
- Alonso, Mariemi E.; Castro-Jimenez, Francisco J.; Hauser, Herwig; Koutschan, Christoph (2018) Echelons of power series and Gabrielov's counterexample to nested linear Artin approximation. Bericht-Nr. 2018-12; RICAM: Linz.Download RIS ENW BIB
- Koutschan, Christoph; Zhang, Yi (2017) Desingularization in the $q$-Weyl algebra. Bericht-Nr. 2017-47; RICAM: Linz.Download RIS ENW BIB
- Middeke, Johannes; Jeffrey, David J.; Koutschan, Christoph (2017) Common factors in fraction-free matrix decompositions. Bericht-Nr. 2017-42; RICAM: Linz.Download RIS ENW BIB
- Grasegger, Georg; Koutschan, Christoph; Tsigaridas, Elias (2017) Lower bounds on the number of realizations of rigid graphs. Bericht-Nr. 2017-35; RICAM: Linz.Download RIS ENW BIB
- Koutschan, Christoph; Thanatipanonda, Thotsaporn (2017) A curious family of binomial determinants that count rhombus tilings of a holey hexagon. Bericht-Nr. 2017-30; RICAM: Linz.Download RIS ENW BIB
- Cluzeau, Thomas; Koutschan, Christoph; Quadrat, Alban; Tonso, Maris (2017) Effective algebraic analysis approach to linear systems over Ore algebras. Bericht-Nr. 2017-12; RICAM: Linz.Download RIS ENW BIB
- Capco, Jose; Gallet, Matteo; Grasegger, Georg; Koutschan, Christoph; Lubbes, Niels et al. [..] (2017) The number of realizations of a Laman graph. Bericht-Nr. 2017-03; RICAM: Linz.Download RIS ENW BIB
- Chen, Shaoshi; Hoeij, Mark van; Kauers, Manuel; Koutschan, Christoph (2016) Reduction-Based Creative Telescoping for Fuchsian D-finite Functions. Bericht-Nr. 2016-39; RICAM: Linz.Download RIS ENW BIB
- Chen, Shaoshi; Kauers, Manuel; Koutschan, Christoph (2016) Reduction-Based Creative Telescoping for Algebraic Functions. Bericht-Nr. 2016-15; RICAM: Linz.Download RIS ENW BIB
- Koutschan, Christoph; Paule, Peter (2016) Holonomic Tools for Basic Hypergeometric Functions. Bericht-Nr. 2016-07; RICAM: Linz.Download RIS ENW BIB
- Siriteanu, Constantin; Takemura, Akimichi; Koutschan, Christoph; Kuriki, Satoshi; Richards, Donald St. P. et al. [..] (2016) Exact ZF analysis and computer-algebra-aided evaluation in rank-1 LoS Rician fading. Bericht-Nr. 2016-05; RICAM: Linz.Download RIS ENW BIB
- Hassani, Saoud; Koutschan, Christoph; Maillard, Jean-Marie; Zenine, Nadjah (2016) Lattice Green Functions: the d-dimensional face-centred cubic lattice, d = 8, 9, 10, 11, 12. Bericht-Nr. 2016-03; RICAM: Linz.Download RIS ENW BIB
- Koutschan, Christoph; Neumüller, Martin; Radu, Silviu (2016) Inverse Inequality Estimates with Symbolic Computation. Bericht-Nr. 2016-01; RICAM: Linz.Download RIS ENW BIB
- Chen, Shaoshi; Koutschan, Christoph (2015) Proof of the Wilf-Zeilberger Conjecture. Bericht-Nr. 2015-15; RICAM: Linz.Download RIS ENW BIB
- Koutschan, Christoph; Ranetbauer, Helene; Regensburger, Georg; Wolfram, Marie-Therese (2015) Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. Bericht-Nr. 2015-14; RICAM: Linz.Download RIS ENW BIB
- Gallet, Matteo; Koutschan, Christoph; Li, Zijia; Regensburger, Georg; Schicho, Josef et al. [..] (2015) Planar Linkages Following a Prescribed Motion. Bericht-Nr. 2015-03; RICAM: Linz.Download RIS ENW BIB
- Kauers, Manuel; Koutschan, Christoph (2015) Integral D-Finite Functions. Bericht-Nr. 2015-02; RICAM: Linz.Download RIS ENW BIB
- Chen, Shaoshi; Kauers, Manuel; Koutschan, Christoph (2014) A Generalized Apagodu-Zeilberger Algorithm. Bericht-Nr. 2014-05; RICAM: Linz.Download RIS ENW BIB
- Koutschan, Christoph (2013) Creative Telescoping for Holonomic Functions. Bericht-Nr. 2013-09; RICAM: Linz.Download RIS ENW BIB
- Koutschan, Christoph; Paule, Peter; Suslov, Sergei K. (2013) Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II. Bericht-Nr. 2013-08; RICAM: Linz.Download RIS ENW BIB
- Garoufalidis, Stavros; Koutschan, Christoph (2013) Irreducibility of q-difference operators and the knot 7_4. Bericht-Nr. 2013-01; RICAM: Linz.Download RIS ENW BIB