|
M. Kauers, P. Nuspl, V. Pillwein. Order bounds for $C^2$-finite sequences. In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, A.Dickenstein, E. Tsigaridas and G. Jeronimo (ed.), ISSAC '23, Tromso{}, Norway , pp. 389-397. July 2023. Association for Computing Machinery, New York, NY, USA, 9798400700392}. [url] [bib]
|
|
Manuel Kauers, Peter Paule, Greg Reid. Workshop on Symbolic Combinatorics and Algorithmic Differential Algebra. ACM Communications in Computer Algebra 50(Issue 1), pp. 27-34. March 2016. 1932-2240. [pdf] [bib]
|
|
Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson. Ore Polynomials in Sage. In: Computer Algebra and Polynomials, Jaime Gutierrez, Josef Schicho, Martin Weimann (ed.), Lecture Notes in Computer Science , pp. ?-?. 2014. tba. [ps] [pdf] [bib]
|
|
Manuel Kauers, Lily Yen. On the length of integers in telescopers for proper hypergeometric terms. Journal of Symbolic Computation, pp. ?-?. 2014. ISSN 0747-7171. to appear. [ps] [pdf] [bib]
|
|
Manuel Kauers. Computer Algebra. In: Handbook of Combinatorics, Miklos Bona (ed.), pp. ?-?. 2014. Taylor and Francis, tba. [bib]
|
|
Manuel Kauers. Bounds for D-Finite Closure Properties. In: Proceedings of ISSAC 2014, Katsusuke Nabeshima (ed.), pp. 288-295. 2014. isbn 978-1-4503-2501-1/14/07. [pdf] [bib]
|
|
Shaoshi Chen, Manuel Kauers, Christoph Koutschan. A Generalized Apagodu-Zeilberger Algorithm. In: Proceedings of ISSAC 2014, Katsusuke Nabeshima (ed.), pp. 107-114. 2014. ISBN 978-1-4503-2501-1. [pdf] [bib]
|
|
Alin Bostan, Mireille Bousquet-Melou, Manuel Kauers, Stephen Melczer. On 3-dimensional lattice walks confined to the positive octant. Annals of Combinatorics, pp. ??-??. 2014. ISSN 0218-0006. to appear. [pdf] [bib]
|
|
Ainhoa Aparicio Monforte, Manuel Kauers. Formal Laurent Series in Several Variables. Expositiones Mathematicae 31(4), pp. 350-367. 2013. ISSN 0723-0869. [pdf] [bib]
|
|
Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer. Desingularization Explains Order-Degree Curves for Ore Operators. In: Proceedings of ISSAC'13, Manuel Kauers (ed.), pp. 157-164. 2013. isbn 978-1-4503-2059-7/13/06. [ps] [pdf] [bib]
|
|
Fredrik Johansson, Manuel Kauers, Marc Mezzarobba. Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation. In: Proceedings of ISSAC'13, Manuel Kauers (ed.), pp. 211-218. 2013. isbn 978-1-4503-2059-7/13/06. [ps] [pdf] [bib]
|
|
Manuel Kauers. The Holonomic Toolbox. In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Johannes Bluemlein and Carsten Schneider (ed.), pp. ??-??. 2013. Springer, tba. to appear. [pdf] [bib]
|
|
S. Gerhold, M. Kauers, C. Koutschan, P. Paule, C. Schneider, B. Zimmermann. Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order. In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, C. Schneider, J. Bluemlein (ed.), Texts and Monographs in Symbolic Computation , pp. 75-96. 2013. Springer, ISBN-13: 978-3709116159. arXiv:1305.4818 [cs.SC]. [url] [pdf] [bib]
|
|
Shaoshi Chen, Manuel Kauers. Trading Order for Degree in Creative Telescoping. Journal of Symbolic Compuation 47(8), pp. 968-995. 2012. ISSN 0747-7171. [ps] [pdf] [bib]
|
|
Shaoshi Chen, Manuel Kauers. Order-Degree Curves for Hypergeometric Creative Telescoping. In: Proceedings of ISSAC 2012, Joris van der Hoeven and Mark van Hoeij (ed.), pp. 122-129. 2012. isbn 978-1-4503-1269. [pdf] [bib]
|
|
Shaoshi Chen, Manuel Kauers, Michael F. Singer. Telescopers for Rational and Algebraic Functions via Residues. In: Proceedings of ISSAC 2012, Joris van der Hoeven and Mark van Hoeij (ed.), pp. 130-137. 2012. isbn 978-1-4503-1269. [pdf] [bib]
|
|
Manuel Kauers, Christian Krattenthaler, Thomas W. Mueller. A method for determining the mod-$2^k$ behaviour of recursive sequences, with applications to subgroup counting. Electronic Journal of Combinatorics 18(2), pp. 1-76. 2012. 1077-8926. P37. [ps] [pdf] [bib]
|
|
Christoph Koutschan, Manuel Kauers, Doron Zeilberger. Proof of George Andrews's and David Robbins's q-TSPP conjecture. Proceedings of the National Academy of Sciences 108(6), pp. 2196-2199. 2011. ISSN 0027-8424. [url] [pdf] [bib]
|
|
Manuel Kauers. How To Use Cylindrical Algebraic Decomposition. Seminaire Lotharingien de Combinatoire 65(B65a), pp. 1-16. 2011. ISSN 1286-4889. [pdf] [ps] [bib]
|
|
Manuel Kauers, Doron Zeilberger. The Computational Challenge of Enumerating High Dimensional Rook Paths. Advances in Applied Mathematics 47(4), pp. 813-819. 2011. ISSN 0196-8858. [ps] [pdf] [bib]
|
|
Manuel Kauers, Carsten Schneider. A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations. In: Proceedings of ISSAC 2011, Anton Leykin (ed.), pp. 201-208. 2011. 978-1-4503-0675-1. arXiv:1101.2803 [cs.SC]. [url] [pdf] [bib]
|
|
Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz. Dominance in the Family of Sugeno-Weber t-norms. Fuzzy Sets and Systems 181(1), pp. 74-87. October 2011. ISSN 0165-0114. [ps] [pdf] [bib]
|
|
Bruno Buchberger, Manuel Kauers. Buchberger's Algorithm. Scholarpedia 6(10), pp. 7764-7764. October 2011. 1941-6016. [url] [bib]
|
|
Alin Bostan, Manuel Kauers. The Complete Generating Function for Gessel Walks is Algebraic. Proceedings of the AMS 138(9), pp. 3063-3078. September 2010. ISSN 0002-9939. [pdf] [ps] [bib]
|
|
Manuel Kauers, Veronika Pillwein. When can we detect that a P-finite sequence is positive?. In: Proceedings of ISSAC'10, Stephen Watt (ed.), pp. 195-202. 2010. 978-1-4503-0150-3. [ps] [pdf] [bib]
|
|
Manuel Kauers, Carsten Schneider. Partial Denominator Bounds for Partial Linear Difference Equations. In: Proceedings of ISSAC'10, Stephen Watt (ed.), pp. 211-218. 2010. 978-1-4503-0150-3. arXiv:1005.0602 [cs.SC]. [url] [ps] [pdf] [bib]
|
|
Bruno Buchberger, Manuel Kauers. Groebner Bases. Scholarpedia 5(10), pp. 7763-7763. October 2010. ISSN 1941-6016. [url] [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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
Manuel Kauers, Doron Zeilberger. Experiments with a Positivity Preserving Operator. Experimental Mathematics 17(3), pp. 341-345. 2008. ISSN 1058-6458. [ps] [pdf] [bib]
|
|
Manuel Kauers, Burkhard Zimmermann. Computing the Algebraic Relations of C-finite Sequences and Multisequences. Journal of Symbolic Computation 43(11), pp. 787-803. 2008. ISSN 0747-7171.. [ps] [pdf] [bib]
|
|
Manuel Kauers , Carsten Schneider. Automated Proofs for Some Stirling Number Identities. The Electronic Journal of Combinatorics 15(1), pp. 1-7. 2008. ISSN 1077-8926. R2. [url] [ps] [pdf] [bib]
|
|
Manuel Kauers. Solving Difference Equations whose Coefficients are not Transcendental. Theoretical Computer Science 401(1-3), pp. 217-227. July 2008. ISSN 0304-3975. [ps] [pdf] [bib]
|
|
Manuel Kauers, Doron Zeilberger. The Quasi-Holonomic Ansatz and Restricted Lattice Walks. Journal of Difference Equations and Applications 14(10-11), pp. 1119-1126. 2008. ISSN 1023-6198. to appear. [pdf] [ps] [bib]
|
|
Manuel Kauers. Integration of Algebraic Functions: A Simple Heuristic for Finding the Logarithmic Part. In: Proceedings of ISSAC'08, David Jeffrey (ed.), Proceedings of ISSAC'08, pp. 133-140. 2008. 978-1-59593-904-3. [ps] [pdf] [bib]
|
|
Manuel Kauers. Computer Algebra for Special Function Inequalities. In: Tapas in Experimental Mathematics, Tewodros Amdeberhan, Victor Moll (ed.), Contemporary Mathematics 457, pp. 215-235. 2008. AMS, ISBN 978-0-8218-4317-8. [ps] [pdf] [bib]
|
|
Manuel Kauers. Fast Solvers for Dense Linear Systems. Nuclear Physics B (Proc. Suppl.) 183, pp. 245-250. 2008. ISSN 0550-3213. [pdf] [ps] [bib]
|
|
Manuel Kauers. Computer Algebra and Power Series with Positive Coefficients. In: Proceedings of FPSAC'07, , pp. 1-7. 2007. [ps] [pdf] [bib]
|
|
Manuel Kauers, Peter Paule. A Computer Proof of Moll's Log-Concavity Conjecture. Proceedings of the AMS 135(12), pp. 3847-3856. December 2007. ISSN 0002-9939. [ps] [bib]
|
|
Horst Alzer, Stefan Gerhold, Manuel Kauers, Alexandru Lupas. On Turan's Inequality for Legendre Polynomials. Expositiones Mathematicae 25(2), pp. 181-186. May 2007. ISSN 0723-0869. [ps] [pdf] [bib]
|
|
Manuel Kauers. An Algorithm for Deciding Zero Equivalence of Nested Polynomially Recurrent Sequences. Transactions on Algorithms 3(2), pp. 1-13. 2007. 1549-6325. article 18. [ps] [pdf] [bib]
|
|
M. Kauers, C. Schneider. Symbolic Summation with Radical Expressions. In: Proceedings of ISSAC'07, Christopher W. Brown (ed.), pp. 219-226. 2007. isbn 978-1-59593-743-8. [url] [pdf] [ps] [bib]
|
|
Manuel Kauers. Summation Algorithms for Stirling Number Identities. Journal of Symbolic Computation 42(10), pp. 948-970. October 2007. ISSN 0747-7171. [ps] [pdf] [bib]
|
|
M. Kauers, C. Schneider. Indefinite summation with unspecified summands. Discrete Math. 306(17), pp. 2073-2083. 2006. ISSN 0012-365X. Preliminary version online. [url] [pdf] [bib]
|
|
Stefan Gerhold, Manuel Kauers. A Computer Proof of Turan's Inequality. Journal of Inequalities in Pure and Applied Mathematics 7(2), pp. 1-4. May 2006. Article 42. [ps] [bib]
|
|
M. Kauers, C. Schneider. Application of unspecified sequences in symbolic summation. In: Proceedings of ISSAC'06, Jean-Guillaume Dumas (ed.), Proceedings of ISSAC'06, pp. 177-183. 2006. ACM Press, [url] [ps] [pdf] [bib]
|
|
Manuel Kauers. SumCracker - A Package for Manipulating Symbolic Sums and Related Objects. Journal of Symbolic Computation 41(9), pp. 1039-1057. 2006. ISSN 0747-7171. [ps] [pdf] [bib]
|
|
Manuel Kauers. Shift Equivalence of P-finite Sequences. The Electronic Journal of Combinatorics 13(1), pp. 1-16. 2006. ISSN 1077-8926. R100. [ps] [pdf] [bib]
|
|
Stefan Gerhold, Manuel Kauers. A Procedure for Proving Special Function Inequalities Involving a Discrete Parameter. In: Proceedings of ISSAC '05, Manuel Kauers (ed.), pp. 156-162. 2005. ACM Press, ISBN 1-59593-095-705/0007. [ps] [bib]
|
|
Manuel Kauers. Computer Proofs for Polynomial Identities in Arbitrary Many Variables. In: Proceedings of ISSAC 2004, Jaime Gutierrez (ed.), pp. 199-204. 2004. ACM Press, ISBN 1-58113-827-X. [ps] [bib]
|
