|
HolonomicFunctions (User's Guide). Christoph Koutschan. Technical report no. 10-01 in RISC Report Series, University of Linz, Austria. January 2010. [url] [pdf] [bib]
|
|
A Proof of George Andrews' and David Robbins' q-TSPP-Conjecture. Christoph Koutschan, Manuel Kauers, Doron Zeilberger. ArXiv. Technical report no. 1002.4384, 2010. [pdf] [ps] [bib]
|
|
A Mathematica Package for q-Holonomic Sequences and Power Series. Manuel Kauers, Christoph Koutschan. The Ramanujan Journal 19(2), pp. 137-150. 2009. Springer, ISSN 1382-4090. [pdf] [ps] [bib]
|
|
Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem. Christoph Koutschan. RISC, JKU Linz. Technical report no. arXiv:0906.1018, 2009. [pdf] [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 Ekhad and Zeilberger, pp. 1-8. January 2009. [url] [pdf] [ps] [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. July 2009. ISSN 0027-8424. [ps] [pdf] [bib]
|
|
Advanced Applications of the Holonomic Systems Approach. Christoph Koutschan. RISC-Linz, Johannes Kepler University. PhD Thesis. September 2009. [url] [pdf] [bib]
|
|
Regular Languages and Their Generating Functions: The Inverse Problem. Christoph Koutschan. Theoretical Computer Science 391(1-2), pp. 65-74. 2008. ISSN 0304-3975. [pdf] [ps] [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. ISSN 1561-4042. [pdf] [bib]
|
|
Linear Recurrences and Power Series Division. Herwig Hauser, Christoph Koutschan. SFB F013. Technical report no. 2007-20, Johannes Kepler University, A-4040 Linz, 2007. [ps] [pdf] [bib]
|
|
Regular Languages and Their Generating Functions: The Inverse Problem. Christoph Koutschan. Friedrich-Alexander-Universität Erlangen-Nürnberg. Diploma Thesis. August 2005. [url] [pdf] [bib]
|
