|
Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations. Christoph Koutschan, Christoph Lehrenfeld, Joachim Schoeberl. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer, Peter Paule (ed.), Texts and Monographs in Symbolic Computation 1, pp. 105-121. 2012. Springer, Wien, ISBN 978-3-7091-0793-5. [pdf] [bib]
|
|
The iterated integrals of ln(1+x^n). Tewodros Amdeberhan, Christoph Koutschan, Victor H. Moll, Eric S. Rowland. International Journal of Number Theory 8(1), pp. 71-94. 2012. ISSN 1793-0421. [pdf] [bib]
|
|
Zeilberger's Holonomic Ansatz for Pfaffians. Masao Ishikawa, Christoph Koutschan. In: Proceedings of ISSAC 2012, Mark van Hoeij (ed.), Proceedings of 37th International Symposium on Symbolic and Algebraic Computation, pp. ?-?. 2012. ACM, ISBN ???-?-????-????-?. To appear. [url] [pdf] [bib]
|
|
Twisting q-holonomic sequences by complex roots of unity. Stavros Garoufalidis, Christoph Koutschan. In: Proceedings of ISSAC 2012, Mark van Hoeij (ed.), Proceedings of 37th International Symposium on Symbolic and Algebraic Computation, pp. ?-?. 2012. ACM, ISBN ???-?-????-????-?. To appear. [pdf] [bib]
|
|
Advanced Computer Algebra for Determinants. Christoph Koutschan, Thotsaporn Thanatipanonda. Annals of Combinatorics, pp. ?-?. 2012. ISSN 0218-0006. To appear (preprint on arXiv:1112.0647). [url] [pdf] [bib]
|
|
Integrals of powers of loggamma. Tewodros Amdeberhan, Mark W. Coffey, Olivier Espinosa, Christoph Koutschan, Dante V. Manna, Victor H. Moll. Proceedings of the AMS 139(2), pp. 535-545. 2011. ISSN 0002-9939. [pdf] [bib]
|
|
The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs. Christoph Koutschan, Victor H. Moll. SCIENTIA Series A (Mathematical Sciences) 20, pp. 93-111. 2011. Universidad Tecnica Federico Santa Maria, Valparaiso, Chile, ISSN 0716-8446. [pdf] [bib]
|
|
Proof of George Andrews's and David Robbins's q-TSPP conjecture. Christoph Koutschan, Manuel Kauers, Doron Zeilberger. Proceedings of the National Academy of Sciences 108(6), pp. 2196-2199. 2011. ISSN 0027-8424. [url] [pdf] [bib]
|
|
The sl3 Jones polynomial of the trefoil: a case study of q-holonomic recursions. Stavros Garoufalidis, Christoph Koutschan. Advances in Applied Mathematics 47(4), pp. 829-839. 2011. ISSN 0196-8858. [pdf] [bib]
|
|
The 1958 Pekeris-Accad-WEIZAC Ground-Breaking Collaboration that computed Ground States of Two-Electron Atoms (and its 2010 Redux). Christoph Koutschan, Doron Zeilberger. The Mathematical Intelligencer 33(2), pp. 52-57. 2011. ISSN 0343-6993. [pdf] [bib]
|
|
On Two-generated Non-commutative Algebras Subject to the Affine Relation. Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak. In: Proceedings of CASC 2011, Vladimir Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii Vorozhtsov (ed.), Lecture Notes in Computer Science 6885, pp. 309-320. 2011. Springer, ISBN 978-3-642-23567-2. [pdf] [bib]
|
|
On Kahan's Rules for Determining Branch Cuts. Frederic Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy. In: Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2011), Dongming Wang et al. (ed.), pp. 47-51. 2011. IEEE Computer Society - Conference Publishing Services (CPS), ISBN 978-0-7695-4630-8. [pdf] [bib]
|
|
Lattice Green's Functions of the Higher-Dimensional Face-Centered Cubic Lattices. Christoph Koutschan. ArXiv (www.arxiv.org). Technical report no. 1108.2164, 2011. Submitted for publication. [url] [pdf] [bib]
|
|
Harmonic interpolation based on Radon projections along the sides of regular polygons. Irina Georgieva, Clemens Hofreither, Christoph Koutschan, Veronika Pillwein, Thotsaporn Thanatipanonda. DK Computational Mathematics. Technical report no. 2011-12, Johannes Kepler University Linz, Austria, 2011. [pdf] [bib]
|
|
Third order integrability conditions for homogeneous potentials of degree -1. Thierry Combot, Christoph Koutschan. ArXiv (www.arxiv.org). Technical report no. 1111.5971, 2011. Submitted for publication. [url] [pdf] [bib]
|
|
The non-commutative A-polynomial of (-2, 3, n) pretzel knots. Stavros Garoufalidis, Christoph Koutschan. Experimental Mathematics, pp. ?-?. 2011. ISSN 1058-6458. To appear. [url] [pdf] [bib]
|
|
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 Fast Approach to Creative Telescoping. Christoph Koutschan. Mathematics in Computer Science 4(2-3), pp. 259-266. 2010. ISSN 1661-8270. [pdf] [bib]
|
|
Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem. Christoph Koutschan. In: Gems in Experimental Mathematics, Tewodros Amdeberhan and Luis A. Medina and Victor H. Moll (ed.), Contemporary Mathematics 517, pp. 219-230. 2010. American Mathematical Society, ISSN 0271-4132. [pdf] [bib]
|
|
Method, device and computer program product for determining an electromagnetic near field of a field excitation source for an electrical system. Joachim Schoeberl, Christoph Koutschan, Peter Paule. 13 April 2010. European Patent Office, Patent application no. 10159805.0 (examination in progress). Applicant: CST-Computer Simulation Technology AG. [url] [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]
|
|
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]
|
