|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
