|
Jakob Ablinger. A Computer Algebra Toolbox for Harmonic Sums Related to Particle Physics. Johannes Kepler University. Diploma Thesis. February 2009. [pdf] [bib]
|
|
Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler. Algorithms in Symbolic Computation. In: Hagenberg Research, Bruno Buchberger et al. (ed.), Chapter 1, pp. 5-62. 2009. Springer, 978-3-642-02126-8. [url] [pdf] [bib]
|
|
B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (ed.). Hagenberg Research. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]
|
|
Cha Yongjae, van Hoeij Mark. Liouvillian solutions of irreducible linear difference equations. In: Proceedings of the 2009 international symposium on Symbolic and algebraic computation, John May (ed.), ISSAC '09 , pp. 87-94. 2009. ACM, New York, NY, USA, ISBN 978-1-60558-609-0. [url] [bib]
|
|
Manuel Kauers. Guessing Handbook. Technical report no. 09-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2009. [pdf] [nb] [bib]
|
|
Frederic Chyzak, Manuel Kauers, Bruno Salvy. A Non-Holonomic Systems Approach to Special Function Identities. In: Proceedings of ISSAC'09, John May (ed.), pp. 111-118. 2009. 978-1-60558-609-0. [ps] [pdf] [bib]
|
|
Alin Bostan, Manuel Kauers. Automatic Classification of Restricted Lattice Walks. In: Proceedings of FPSAC'09, Christian Krattenthaler, Volker Strehl, and Manuel Kauers (ed.), pp. 201-215. 2009. [ps] [pdf] [bib]
|
|
Manuel Kauers, Christoph Koutschan. A Mathematica Package for q-Holonomic Sequences and Power Series. The Ramanujan Journal 19(2), pp. 137-150. 2009. Springer, ISSN 1382-4090. [ps] [pdf] [bib]
|
|
Manuel Kauers, Christoph Koutschan, Doron Zeilberger. A Proof of George Andrews' and Dave Robbins' q-TSPP-Conjecture (modulo a finite amount of routine calculations). The personal Journal of Ekhad and Zeilberger, pp. 1-8. January 2009. [url] [ps] [pdf] [bib]
|
|
Manuel Kauers, Christoph Koutschan, Doron Zeilberger. Proof of Ira Gessel's Lattice Path Conjecture. Proceedings of the National Academy of Sciences 106(28), pp. 11502-11505. July 2009. ISSN 0027-8424. [ps] [pdf] [bib]
|
|
Christoph Koutschan. Advanced Applications of the Holonomic Systems Approach. RISC-Linz, Johannes Kepler University. PhD Thesis. September 2009. [url] [pdf] [bib]
|
|
Christoph Koutschan. HolonomicFunctions. RISC, Johannes Kepler University Linz, Austria, 2009. Software presentation at FPSAC'2009 (21st International Conference on Formal Power Series and Algebraic Combinatorics). [bib]
|
|
Karin Nachbagauer. Power Series Solutions to Holonomic Differential Equations and the General Algebraic Equation. Johannes Kepler University Linz. Diploma Thesis. 2009. The thesis also appeared as RISC report 09-15.. Diploma thesis. [pdf] [bib]
|
|
Peter Paule, Silviu Radu. A Proof of Sellers' Conjecture. RISC. Technical report no. 09-17, 2009. [pdf] [bib]
|
|
Peter Paule. The Renaissance of Algorithmic Mathematics. In: Hagenberg Research, Peter Paule (ed.), pp. 6-15. 2009. Springer Berlin-Heidelberg, 978-3-642-02126-8. [bib]
|
|
D. Braess, V. Pillwein, J. Schöberl. Equilibrated Residual Error Estimates are $p$-Robust. Comput. Methods Appl. Mech. Engrg. 198, pp. 1189-1197. 2009. [ps] [pdf] [bib]
|
|
J. Kraus, V. Pillwein, L. Zikatanov. Algebraic multilevel iteration methods and the best approximation to 1/x in the uniform norm. RICAM. Technical report no. 2009-17, 2009. [ps] [pdf] [bib]
|
|
Silviu Radu. An algorithmic approach to Ramanujan congruences . Ramanujan Journal 20(2), pp. 215-251. 2009. 1382-4090 . [url] [pdf] [bib]
|
|
I. Bierenbaum, J. Bl�mlein, S. Klein, C. Schneider. Difference equations in massive higher order calculations. In: Proc. ACAT 2007, - (ed.)PoS(ACAT)082, pp. 1-15. 2009. ISSN 18248039. arXiv:0707.4659 [math-ph]. [url] [pdf] [bib]
|
|
S. Moch, C. Schneider. Feynman integrals and difference equations. In: Proc. ACAT 2007, - (ed.)PoS(ACAT)083, pp. 1-11. 2009. ISSN 18248039. [url] [pdf] [bib]
|
|
C. Schneider, R. Osburn. Gaussian Hypergeometric series and supercongruences. Math. Comp. 78(265), pp. 275-292. 2009. ISSN 0025-5718. arXiv:math/0610281 [math.NT]. [url] [pdf] [bib]
|
|
J. Bluemlein, M. Kauers, S. Klein, C. Schneider. From moments to functions in higher order QCD . In: XII Advanced Computing and Analysis Techniques in Physics Research, - (ed.)PoS(ACAT08)106, pp. 1-7. 2009. ISSN 1824-8039. arXiv:0902.4095 [hep-ph]. [url] [pdf] [bib]
|
|
J. Bluemlein, M. Kauers, S. Klein, C. Schneider. Determining the closed forms of the {$O(a_s^3)$} anomalous dimensions and {W}ilson coefficients from {M}ellin moments by means of computer algebra. Comput. Phys. Comm. 180, pp. 2143-2165. 2009. ISSN 0010-4655. arXiv:0902.4091 [hep-ph]. [url] [pdf] [bib]
|
|
Flavia Stan. Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals. The Ramanujan Journal 20(1), pp. 55-67. 2009. Springer, ISSN 1382-4090. [pdf] [bib]
|
|
Karen T. Kohl and Flavia Stan. An Algorithmic Approach to the Mellin Transform Method. Doctoral Program Computational Mathematics. Technical report no. DK-2009-03, November 2009. To appear in Contemporary Mathematics. [pdf] [bib]
|
|
T. Thanatipanonda and D. Zeilberger. A Symbolic Finite-State Approach For Automated. Journal of Difference Equations and Applications 15, pp. 111-118. 2009. 1023-6198. [pdf] [bib]
|
|
Manuela Wiesinger. Contributions to MacMahon's Partition
Analysis. Technical report no. 09-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2009. Master Thesis. [pdf] [bib]
|
|
Manuela Wiesinger. Contributions to MacMahon's Partition
Analysis. Johannes Kepler University. Diploma Thesis. January 2009. RISC Report 09-05. [pdf] [bib]
|
