Welcome to kauers.de 

Home ⋅ Publications ⋅ Talks ⋅ Teaching ⋅ Software  
Shaoshi Chen, Lixin Du, Manuel Kauers, and RongHua Wang, November 2023, Reductionbased Creative Telescoping for Precursive Sequences via Integral Bases, ArXiv preprint 2311.05246. pdf.
Robert DoughertyBliss and Manuel Kauers, September 2023, Hardinian Arrays, ArXiv preprint 2309.00487. pdf.
Manuel Kauers and Jakob Moosbauer, June 2023, Some New NonCommutative Matrix Multiplication Algorithms of Size (n,m,6), ArXiv preprint 2306.00882. pdf.
Manuel Kauers, November 2023, DFinite Functions. Algorithms and Computation in Mathematics. Springer ISBN 9783031346514.
Manuel Kauers, Alexey Ovchinnikov, and Eric Schost (editors), January/February 2021, International Symposium on Symbolic and Algebraic Computation 2018. Special Issue of the Journal of Symbolic Computation, 102:1328.
James H. Davenport, Manuel Kauers, George Labahn, and Josef Urban (editors), July 2018, Mathematical Software  ICMS 2018. LNCS 10931.
Manuel Kauers, March 2015, Computer Algebra, Chapter 15 in: Miklos Bona (editor), Handbook of Enumerative Combinatorics, pages 9751046. Taylor and Francis.
Manuel Kauers (editor), July 2013, Proceedings of the 2013 International Symposium on Symbolic and Algebraic Computing (ISSAC'13), ACM Press.
Manuel Kauers and Peter Paule, January 2011, The Concrete Tetrahedron. Text and Monographs in Symbolic Computation. Springer ISBN 9783709104446.
Christian Krattenthaler, Volker Strehl and Manuel Kauers (editors), July 2009, Proceedings of the 2009 International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC'09), Special Issue of Discrete Mathematics and Theoretical Computer Science.
Manuel Kauers, Manfred Kerber, Robert Miner, and Wolfgang Windsteiger (editors), June 2007, Towards Mechanized Mathematical Assistants, Joint Proceedings of Calculemus 2007 and MKM 2007, Lecture Notes in Artificial Intelligence Vol. 4573, Springer Heidelberg.
Manuel Kauers (editor), July 2005, Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computing (ISSAC'05), ACM Press.
Manuel Kauers and Günter Pilz, July 2023, Which (sub)direct decompositions are useful?, Palestine Journal of Mathematics, to appear. pdf.
Shaoshi Chen, Lixin Du, and Manuel Kauers, July 2023, Hermite Reduction for Dfinite Functions via Integral Bases, Proceedings of ISSAC'23, pp. 155163. pdf. (Also ArXiv 2302.04652.)
Manuel Kauers, Christoph Koutschan, and Thibaut Verron, July 2023, Transcendence Certificates for Dfinite Functions, Proceedings of ISSAC'23, pp. 372380. pdf. (Also ArXiv 2302.06396.)
Manuel Kauers, Philipp Nuspl, and Veronika Pillwein, July 2023, Order Bounds for C^{2}finite Sequences, Proceedings of ISSAC'23, pp. 389397. pdf. (Also ArXiv 2302.04070.)
Manuel Kauers and Jakob Moosbauer, July 2023, Flip Graphs for Matrix Multiplication, Proceedings of ISSAC'23, pp. 381388. pdf. (Also ArXiv 2212.01175.) Supplementary Material.
Manuel Kauers and Christoph Koutschan, April 2023, Some Dfinite and some possibly Dfinite sequences in the OEIS, Journal of Integer Sequences, 26 artcile 23.4.5. pdf. Supplementary Material. (Also arXiv 2303.02793.)
Manuel Kauers, Christoph Koutschan, and George Spahn, November 2022, How does the Gerrymander Sequence Continue?, Journal of Integer Sequences, 25 article 22.9.7. pdf. Supplementary Material. (Also arXiv 2209.01787.)
Manuel Kauers and Jakob Moosbauer, September 2022, A Normal Form for Matrix Multiplication Schemes, Proceedings of CAI'22, pp. 149160. pdf. (Also arXiv 2206.00550.)
Maximilian Jaroschek, Manuel Kauers, and Laura Kovacs, September 2022, Lonely Points in Simplices, Discrete and Computational Geometry, 64:425. pdf. Implementation. (Also arXiv 1905.08747.)
Ankit Shukla, Sibylle Möhle, Manuel Kauers, and Martina Seidl, August 2022, OuterCount: A FirstLevel SolutionCounter for Quantified Boolean Formulas, Proceedings of CICM'22, pp. 272284. pdf.
Hui Huang, Manuel Kauers, Gargi Mukherjee, July 2022, OrderDegreeHeight Surfaces for Linear Operators, Proceedings of ISSAC'22, pp. 9199. pdf. (Also arXiv 2205.06030.)
Manuel Kauers, Christoph Koutschan, July 2022, Guessing with Little Data, Proceedings of ISSAC'22, pp. 8390. pdf. (Also arXiv 2202.07966.)
Daniela Kaufmann, Mathias Fleury, Armin Biere, and Manuel Kauers, April 2022, Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Past\'eque and NussChecker, Formal Methods and Systems Design, pdf.
Shaoshi Chen, Lixin Du, Manuel Kauers, July 2021, Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions, Proceedings of ISSAC'21, pp. 7582. pdf. Supplementary Material. (Also arXiv 2102.06538.)
Manfred Buchacher, Manuel Kauers, and Amelie Trotignon, April 2021, Quadrant Walks Starting Outside the Quadrant, Proceedings of FPSAC'21, SLC 85B.26. pdf. Supplementary Material. (Also arXiv 2011.13373.)
Alin Bostan, Manuel Kauers, and Thibaut Verron, April 2021, The generating function of Kreweras walks with interacting boundaries is not algebraic, Proceedings of FPSAC'21, SLC 85B.78. pdf. Supplementary Material. (Also arXiv 2012.00816.)
Adam Seliga, Manuel Kauers, Susanne SamingerPlatz, Radko Mesiar, Anna Kolesarova, Erich Peter Klement, February 2021, Polynomial bivariate copulas of degree five: characterization and some particular inequalities, Dependence Modeling, 9:1342. pdf.
Manfred Buchacher, Sophie Hofmanninger, and Manuel Kauers, December 2020, Walks with Small Steps in the 4DOrthant, Annals of Combinatorics, 25(1):153166. pdf. (Also arXiv 2004.14238)
Marijn J.H. Heule, Manuel Kauers, and Martina Seidl, May/June 2021, New ways to multiply 3 x 3matrices, Journal of Symbolic Computation, 104:899916. pdf. Supplementary material. (Also arXiv 1905.10192)
Manuel Kauers and Jakob Moosbauer, July 2020, Good Pivots for Small Sparse Matrices, Proceedings of CASC'20, pp. 358367. pdf. (Also arXiv 2006.01623)
Shaoshi Chen, Lixin Du, Manuel Kauers, and Thibaut Verron, July 2020, Integral Bases for PRecursive Sequences, Proceedings of ISSAC'20, pp. 9198. pdf. (Also arXiv 2002.02783)
Manfred Buchacher, Manuel Kauers, and Gleb Pogudin, July 2020, Separating Variables in Bivariate Polynomial Ideals, Proceedings of ISSAC'20, pp. 5461. pdf. Implementation. talk. (Also arXiv 2002.01541)
Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, and Michael Wallner, May 2020, Asymptotic Enumeration of Compacted Binary Trees, Journal of Combinatorial Theory A, 172:105177. pdf. (Also arXiv 1703.10031)
Daniela Kaufmann, Armin Biere, and Manuel Kauers, March 2020, From DRUP to PAC and Back, Proceedings of DATE'20, 654657. pdf.
Manuel Kauers, Martina Seidl, and Doron Zeilberger, December 2019, On the maximal minimal cube lengths in distinct DNF tautologies, Discrete Mathematics Letters, 2:4751. pdf. (Also arXiv 1902.03431) Supplementary material.
Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang, November 2019, Apparent Singularities of Dfinite Systems, Journal of Symbolic Computation, 95(10):217237. (Also arXiv 1705.00838) pdf.
Daniela Kaufmann, Armin Biere, and Manuel Kauers, October 2019, Verifying Large Multipliers by Combining SAT and Computer Algebra, Proceedings of FMCAD'19, pp. 2836. pdf.
Marijn J.H. Heule, Manuel Kauers, and Martina Seidl, July 2019, Local Search for Fast Matrix Multiplication, Proceedings of SAT'19, Springer LNCS 11628, pp. 155163. (Also arXiv 1903.11391) pdf. Supplementary material.
Manfred Buchacher and Manuel Kauers, July 2019, Inhomogeneous Restricted Lattice Walks, Proceedings of FPSAC'19, SLC 82B#75. pdf. (Also arXiv 1811.06725)
Manuel Kauers and Doron Zeilberger, March 2019, A Simple ReDerivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics, The Mathematical Intelligencer, 41(1):16. (Also arXiv 1805.09057) pdf. Supplementary material.
Armin Biere, Daniela Kaufmann and Manuel Kauers, February 2019, Incremental columnwise verification of arithmetic circuits using computer algebra, Formal Methods in System Design, doi:10.1007/s10703018003292. pdf.
Manuel Kauers and Martina Seidl, December 2018, Short Proofs for Some Symmetric Quantified Boolean Formulas, Information Processing Letters, 140:47, (Also arXiv 1804.01437) pdf.
Hui Huang and Manuel Kauers, July 2018, Dfinite Numbers, International Journal of Number Theory 14(7):18271848. pdf. (Also arXiv 1611.05901.)
Manuel Kauers and Martina Seidl, July 2018, Symmetries of Quantified Boolean Formulas, Proceedings of SAT'18, LNCS 10929, pp. 199216. pdf. (Also arXiv 1802.03993.)
Daniela Ritirc, Armin Biere, and Manuel Kauers, March 2018, Improving and extending the algebraic approach for verifying gatelevel multipliers, Proceedings of DATE'18, pp. 15561561. pdf.
Shaoshi Chen, Mark van Hoeij, Manuel Kauers, and Christoph Koutschan, March/April 2018. Reductionbased Creative Telescoping for Fuchsian Dfinite Functions, Journal of Symbolic Computation, 85:108127. pdf. (Also arXiv 1611.07421.)
Manuel Kauers and Doron Zeilberger, October 2017, Factorization of Cfinite sequences, Advances in Computer Algebra (Proceedings of WWCA2016), Springer, pp. 131148. pdf. (Also arXiv 1601.02756.)
Daniela Ritirc and Armin Biere and Manuel Kauers, October 2017, ColumnWise Verification of Multipliers Using Computer Algebra, Proceedings of FMCAD'17, pp. 2330. pdf.
Manuel Kauers and RongHua Wang, August 2017, Lattice Walks in the Octant with Infinite Associated Groups, Electronic Notes in Discrete Mathematics 61:703709 (Proceedings of EUROCOMB 2017). pdf. (Also arXiv 1703.05057.)
Manuel Kauers and Gleb Pogudin, July 2017, Bounds for Substituting Algebraic Functions into DFinite Functions, Proceedings of ISSAC 2017, pp. 245252. pdf. (Also arXiv 1701.07802.)
Alin Bostan, Frederic Chyzak, Mark van Hoeij, Manuel Kauers, and Lucien Pech, March 2017, Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane, European Journal of Combinatorics, 61:242275. pdf. (Also arXiv 1606.02982.)
Shaoshi Chen and Manuel Kauers, February 2017, Some Open Problems related to Creative Telescoping, Journal of Systems Science and Complexity, 30:154172. pdf. (Also arXiv 1609.03768.)
Alin Bostan, Mireille BousquetMélou, Manuel Kauers and Stephen Melczer, December 2016, On 3dimensional lattice walks confined to the positive octant, Annals of Combinatorics, 20(4):661704. ps.gz pdf. (Also arXiv 1409.3669.) Supplementary material.
Shaoshi Chen, Manuel Kauers, and Christoph Koutschan, July 2016, ReductionBased Creative Telescoping for Algebraic Functions, Proceedings of ISSAC'16, pp. 175182. pdf. (Also arXiv 1602.00424.)
Axel Bacher, Manuel Kauers, Rika Yatchak, July 2016, Continued Classification of 3D Lattice Walks in the Positive Octant, Proceedings of FPSAC'16, DMTCS, pp. 95106. pdf. (Also arXiv 1511.05763.)
Shaoshi Chen, Manuel Kauers, and Michael F. Singer, May/June 2016, Desingularization of Ore Polynomials, Journal of Symbolic Computation, 74(5/6):617626. ps.gz pdf. (Also arXiv 1408.5512.)
Michael Drmota, Manuel Kauers, Lukas Spiegelhofer, February 2016, On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t, SIAM Journal on Discrete Mathematics, 30(2):621874. pdf. (Also arXiv 1509.08623.) Supplementary material.
Manuel Kauers, Ryan O'Donnell, LiYang Tan, and Youan Zhou, February 2016, Hypercontractive inequalities via SOS, and the FranklRödl graph, Discrete Analysis, 2016:4. pdf. (Also arXiv 1212.5324v3.)
Manuel Kauers and Rika Yatchak, July 2015, Walks in the Quarter Plane with Multiple Steps, Proceedings of FPSAC'15, DMTCS, pp. 2536. ps.gz pdf. (Also arXiv 1411.3537.)
Shaoshi Chen, Hui Huang, Manuel Kauers and Ziming Li, July 2015, An Modified AbramovPetkovsek Reduction and Creative Telescoping for Hypergeometric Terms, Proceedings of ISSAC'15, pp. 117124. ps.gz pdf. (Also arXiv 1501.04668.)
Manuel Kauers and Christoph Koutschan, July 2015, Integral DFinite Functions, Proceedings of ISSAC'15, pp. 251258. ps.gz pdf. (Also arXiv 1501.03691.)
Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson, 2015, Ore polynomials in Sage, Computer Algebra and Polynomials, Lecture Notes in Computer Science, Springer LNCS 8942, pages 105125. ps.gz pdf. (Also arXiv 1306.4263.)
Manuel Kauers and Lily Yen, January/February 2015, On the length of integers in telescopers for proper hypergeometric terms, Journal of Symbolic Computation, 66(12):2133. pdf ps.gz. (Also arXiv 1311.3720.)
Manuel Kauers, July 2014, Bounds for Dfinite Closure Properties, Proceedings of ISSAC 2014, pp. 288295. pdf ps.gz. (Also arXiv 1408.5514.)
Shaoshi Chen, Manuel Kauers and Christoph Koutschan, July 2014, A Generalized ApagoduZeilberger Algorithm, Proceedings of ISSAC 2014, pp. 107114. pdf ps.gz. (Also arXiv 1402.2409.)
Manuel Kauers, Ryan O'Donnell, LiYang Tan and Yuan Zhou, January 2014, Hypercontractive inequalities via SOS, and the FranklRödlGraph, Proceedings of SODA'14, pp. 16441658. ps.gz pdf. (Also arXiv 1212.5324.)
Ainhoa Aparicio Monforte and Manuel Kauers, December 2013, Formal Laurent Series in Several Variables, Expositiones Mathematicae 31(4):350367. ps.gz pdf.
Manuel Kauers, October 2013, The Holonomic Toolkit, In Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation, Springer, 119144. ps.gz pdf.
Stefan Gerhold, Manuel Kauers, Christoph Koutschan, Peter Paule, Carsten Schneider, Burkhard Zimmermann, October 2013, ComputerAssisted Proofs of Some Identities for Bessel Functions of Fractional Order, In Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation, Springer, 7596. pdf. (Also arXiv 1305.4818.)
Fredrik Johansson, Manuel Kauers, Marc Mezzarobba, June 2013, Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation, Proceedings of ISSAC 2013, 211218. ps.gz pdf. (Also arXiv 1301.2486.)
Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer, June 2013, Desingularization Explains OrderDegree Curves for Ore Operators, Proceedings of ISSAC 2013, 157164. ps.gz pdf. (Also arXiv 1301.0917.)
Shaoshi Chen and Manuel Kauers, August 2012, Trading Order for Degree in Creative Telescoping, Journal of Symbolic Computation 47(8):968995. ps.gz pdf. (Also arXiv 1108.4508.)
Shaoshi Chen and Manuel Kauers, July 2012, OrderDegree Curves for Hypergeometric Creative Telescoping, Proceedings of ISSAC 2012, 122129. ps.gz pdf. (Also arXiv 1201.1982.)
Shaoshi Chen, Manuel Kauers and Michael F. Singer, July 2012, Telescopers for Rational and Algebraic Functions via Residues, Proceedings of ISSAC 2012, 130137. ps.gz pdf. (Also arXiv 1201.1954.) Supplementary material.
Manuel Kauers, Christian Krattenthaler, and Thomas W. Müller, June 2012, A method for determining the mod2^{k} behaviour of recursive sequences, with applications to subgroup counting, Electronic Journal of Combinatorics, 18(2):P37, Zeilberger Festschrift. ps.gz pdf. (Also arXiv 1107.2015.)
Manuel Kauers, Veronika Pillwein, and Susanne SamingerPlatz, October 2011, Dominance in the Family of SugenoWeber tnorms, Fuzzy Sets and Systems, 181(1):7487. ps.gz pdf. (Also arXiv 1007.5442.) Supplementary material.
Manuel Kauers and Doron Zeilberger, October 2011, The Computational Challenge of Enumerating HighDimensional Rook Paths, Advances in Applied Mathematics, 47(4):813819. ps.gz pdf. (Also arXiv 1011.4671.) Supplementary material.
Manuel Kauers and Carsten Schneider, June 2011, A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations, Proceedings of ISSAC 2011, 201208. ps.gz pdf. (Also arXiv 1101.2803.)
Manuel Kauers, January 2011, How to use Cylindrical Algebraic Decomposition, Seminaire Lotharingien de Combinatoire, B65a, ps.gz pdf.
Christoph Koutschan, Manuel Kauers, and Doron Zeilberger, January 2011, A Proof of George Andrews' and David Robbins' qTSPPConjecture, Proceedings of the National Academy of Sciences, 108(6):21962199. ps.gz pdf (Also arXiv 1002.4384.) Supplementary material.
Alin Bostan and Manuel Kauers (with an Appendix by Mark van Hoeij), September 2010, The Complete Generating Function for Gessel Walks is Algebraic, Proceedings of the AMS, 138(9):30633078. ps.gz pdf. (Also arXiv 0909.1965.) Supplementary material.
Manuel Kauers and Carsten Schneider, July 2010, Partial Denominator Bounds for Partial Linear Difference Equations, Proceedings of ISSAC'10, 211218. ps.gz pdf. (Also arXiv 1005.0602.)
Manuel Kauers and Veronika Pillwein, July 2010, When can we Decide that a Pfinite Sequence is Positive?, Proceedings of ISSAC'10, 195202. ps.gz pdf. (Also arXiv 1005.0600.)
Johannes Blümlein, Manuel Kauers, Sebastian Klein, and Carsten Schneider, November 2009, Determining the closed forms of the O(a_{s}^{3}) anomalous dimension and Wilson coefficients from Mellin moments by means of computer algebra, Computer Physics Communications, 180(11):21432165. ps.gz pdf. (Formerly appeared as Technical Report DESY 09002 and arXiv 0902.4091: ps.gz pdf.)
Frederic Chyzak, Manuel Kauers, and Bruno Salvy, July 2009, A NonHolonomic Systems Approach to Special Function Identities, Proceedings of ISSAC'09, pp. 111118. ps.gz pdf. (Also arXiv 0904.2761.)
Alin Bostan and Manuel Kauers, July 2009, Automatic Classification of Restricted Lattice Walks, Proceedings of FPSAC'09, pp. 201215. ps.gz pdf. (Also arXiv 0811.2899.)
Manuel Kauers, Christoph Koutschan, and Doron Zeilberger, July 2009, Proof of Ira Gessel's Lattice Path Conjecture, Proceedings of the National Academy of Sciences, 106(28):1150211505. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no 200808: ps.gz pdf.)
Manuel Kauers and Christoph Koutschan, June 2009, A Mathematica Package for qHolonomic Sequences and Power Series, The Ramanujan Journal, 19(2):137150. ps.gz pdf. (Formerly appeared as Technical report SFB F013, no 200716: ps.gz pdf.)
Manuel Kauers and Burkhard Zimmermann, November 2008, Computing the Algebraic Relations of Cfinite Sequences and Multisequences, Journal of Symbolic Computation, 43(11):787803. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no 200624: ps.gz pdf.)
Manuel Kauers and Doron Zeilberger, October 2008, The QuasiHolonomic Ansatz and Restricted Lattice Walks, Journal of Difference Equations and Applications, 14(1011):11191126. Special Issue in Honor of Gerry Ladas' 70th Birthday. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200731: ps.gz pdf.)
Manuel Kauers, October 2008, Fast Solvers for Dense Linear Systems, Nuclear Physics B (Proc. Suppl.), 183:245250. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no 200806: SFB F013, ps.gz pdf.)
Manuel Kauers and Doron Zeilberger, July 2008, Experiments with a Positivity Preserving Operator, Experimental Mathematics, 17(3):341345. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200721: ps.gz pdf.)
Manuel Kauers, July 2008, Integration of Algebraic Functions: A Simple Heuristic for Finding the Logarithmic Part, Proceedings of ISSAC'08, pp. 133140. ps.gz pdf. Implementation for Mathematica 5.2: algebraic.m (Formerly appeared as Technical report SFB F013, no. 200801: ps.gz pdf.)
Manuel Kauers, July 2008, Solving Difference Equations whose Coefficients are not Transcendental, Theoretical Computer Science, 401(13):217227. ps.gz pdf (Formerly appeared as Technical Report SFB F013, no 200520: ps.gz pdf.)
Manuel Kauers, May 2008, Computer Algebra for Special Function Inequalities, Tapas in Experimental Mathematics, Contemporary Mathematics 457, pp. 215235. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no 200707: ps.gz pdf.)
Manuel Kauers and Carsten Schneider, January 2008, Automated Proofs for Some Stirling Number Identities, The Electronic Journal of Combinatorics, 15(2):R2. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no 200723: ps.gz pdf.)
Manuel Kauers and Peter Paule, December 2007, A Computer Proof of Moll's LogConcavity Conjecture, Proceedings of AMS, 135(12):38473856. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200615: ps.gz pdf.)
Manuel Kauers, October 2007, Summation Algorithms for Stirling Number Identities, Journal of Symbolic Computation, 42(10):948970. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200711: ps.gz pdf.)
Manuel Kauers and Carsten Schneider, July 2007, Symbolic Summation with Radical Expressions, In Proceedings of ISSAC 2007, pp. 219226. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200702: ps.gz pdf.)
Manuel Kauers, July 2007, Computer Algebra and Power Series with Positive Coefficients, In Proceedings of FPSAC 2007, electronic. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200633: ps.gz pdf.)
Horst Alzer, Stefan Gerhold, Manuel Kauers, and Alexandru Lupas, May 2007, On Turan's inequality for Legendre Polynomials, Expositiones Mathematicae 25(2):181186. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200616: ps.gz.)
Manuel Kauers, May 2007, An Algorithm for Deciding ZeroEquivalence of Nested Polynomially Recurrent Sequences, Transactions on Algorithms 3(2) Article No. 18. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200348: ps.gz.)
Manuel Kauers, November 2006, Shift Equivalence of Pfinite Sequences, The Electronic Journal of Combinatorics 13(1):R100. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200621: ps.gz.)
Manuel Kauers and Carsten Schneider, September 2006, Indefinite Summation with Unspecified Summands, Discrete Mathematics 306(17):20212140. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200413: ps.gz.)
Manuel Kauers, September 2006, SumCracker  A Package for Manipulating Symbolic Sums and Related Objects, Journal of Symbolic Computation, 41(9):10391057. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200521: ps.gz.)
Manuel Kauers and Carsten Schneider, July 2006, Application of Unspecified Sequences in Symbolic Summation, In Proceedings of ISSAC 2006, Genova, Italy, pp. 177183. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200519: ps.gz.)
Stefan Gerhold and Manuel Kauers, May 2006, A Computer Proof of Turan's Inequality, Journal of Inequalities in Pure and Applied Mathematics, Vol. (7)2, Article 42. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200515: ps.gz.)
Stefan Gerhold and Manuel Kauers, July 2005, A Procedure for Proving Special Function Inequalities involving a Discrete Parameter, In Proceedings of ISSAC 2005, Beijing, China, pp. 156162. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200502: ps.gz, nb.gz [examples].)
Clemens Ballarin and Manuel Kauers, June 2004, Solving Parametric Linear Systems: an Experiment with Constraint Algebraic Programming, The Sigsam Bulletin, 38(2):3346. ps.gz
Manuel Kauers, July 2004, Computer Proofs for Polynomial Identities in Arbitrary Many Variables, In Proceedings of ISSAC 2004, Santander, Spain, pp. 199204. ps.gz. (Formerly appeared as Technical Report SFB F013, no. 200406: ps.gz.)
Manfred Buchacher and Manuel Kauers, November 2022, The OrbitSum Method for Higher Order Equations, ArXiv preprint 2211.08175. pdf.
Manuel Kauers and Jakob Moosbauer, October 2022, The FBHHRBNRSSSHKAlgorithm for Multiplication in Z_{2}^{5×5} is still not the end of the story, ArXiv preprint 2210.04045. pdf.
Manuel Kauers and Doron Zeilberger, July 2020, Counting Standard Young Tableaux With Restricted Runs, The Personal Journal of Shalosh B. Ekhad and Doron Zeilberger and arXiv 2006.10205, pdf.
Daniela Kaufmann, Armin Biere, and Manuel Kauers, March 2020, SAT, Computer Algebra, Multipliers, Proc. 5th and 6th Vampire Workshops, EPiC Series in Computing 71:118. pdf.
Manuel Kauers and Thibaut Verron, September 2019, Why You Should Remove Zeros From Data Before Guessing, Poster at ISSAC'19. Communications in Computer Algebra, 53(3):126129. pdf.
Marijn J.H. Heule, Manuel Kauers, and Martina Seidl, September 2019, A family of schemes for multiplying 3x3 matrices with 23 coefficient multiplications, Poster at ISSAC'19. Communications in Computer Algebra, 53(3):118121. pdf.
Manuel Kauers and Marc Mezzarobba, June 2019. Multivariate Ore Polynomials in SageMath, Software Demonstration at ISSAC'19. Communications in Computer Algebra, 53(2):5760. pdf.
Armin Biere, Manuel Kauers, and Daniela Ritirc, November 2018, Challenges in Verifying Arithmetic Circuits Using Computer Algebra, Proceedings of SYNASC'17, pp. 516. pdf.
Manuel Kauers, March 2018, The GuessandProve Paradigm in Action, Internationale Mathematische Nachrichten 237:115. pdf.
Manuel Kauers, March 2016, Creative Telescoping via Hermite Reduction, Proceedings of SYNASC'15, pp. 11. pdf.
Bruno Buchberger and Manuel Kauers, October 2011, Buchberger's Algorithm, Scholarpedia 6(10):7764. online
Manuel Kauers, June 2011, ISSAC 2011 Poster Abstracts. Communications in Computer Algebra, 45(2):107142.
Manuel Kauers, June 2011, The Concrete Tetrahedron. Tutorial Abstract. Proceedings of ISSAC 2011, 78. ps.gz pdf.
Manuel Kauers, April 2011, A Mathematica Package for Computing Asymptotic Expansions of Solutions of PFinite Recurrence Equations, Technical Report RISC 1104, Johannes Kepler Universität Linz. ps.gz pdf.
Manuel Kauers and ShengLan Ko, January 2011, Problem 11545. American Mathematical Monthly 118(1):84. ps.gz pdf.
Bruno Buchberger and Manuel Kauers, October 2010, Gröbner Basis, Scholarpedia 5(10):7763. online
Johannes Blümlein, Manuel Kauers, Sebastian Klein, and Carsten Schneider, February 2009, From Moments to Functions in Quantum Chromodynamics, Proceedings of Science PoS(ACAT08)106:17, 2009. Also arXiv 0902.4095, ps.gz pdf.
Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider and Franz Winkler, June 2009, Hot Topics in Symbolic Computation, In Bruno Buchberger et al., Hagenberg Research, pp. 562, Springer ISBN 9783642021268.
Manuel Kauers, April 2009, Guessing Handbook, Technical Report RISC 0907, Johannes Kepler Universität Linz. ps.gz pdf nb.
Manuel Kauers, Christoph Koutschan, and Doron Zeilberger, January 2009, A Proof of George Andrews' and Dave Robbins' qTSPP Conjecture (modulo a finite amount of routine calculations), The Personal Journal of Shalosh B. Ekhad and Doron Zeilberger and arXiv 0808.0571, ps.gz pdf.
Manuel Kauers, December 2006, Problem 11258. American Mathematical Monthly, 113(10):939. ps.gz pdf.
Manuel Kauers and Viktor Levandovskyy, October 2006, An Interface between Mathematica and Singular, Technical Report 200629, SFB F013, Johannes Kepler Universität Linz, Austria. ps.gz pdf.
Stefan Gerhold, Manuel Kauers, and Joachim Schöberl, April 2006, On a Conjectured Inequality for a Sum of Legendre Polynomials, Technical Report 200611, SFB F013, Johannes Kepler Universität Linz, Austria. ps.gz pdf.
Manuel Kauers, October 2005, Algorithms for Nonlinear Higher Order Difference Equations. Ph.D. Thesis. RISCLinz, Johannes Kepler University, Linz. ps.gz pdf. (Also appeared as RISCReport no. 0510.)
Manuel Kauers, March 2004, ZET User Manual, Technical Report 200405, SFB F013, Johannes Kepler Universität Linz, Austria. ps.gz
Manuel Kauers, August 2003, Computing Limits of Sequences, Poster at ISSAC 2003, Philadelphia, USA. ps.gz (Poster), ps.gz (Abstract)
Manuel Kauers, Stephan Vogel, Christian Fügen, and Alex Waibel, September 2002, Interlingua Based Statistical Machine Translation, In Proceedings of ICSLP 2002, San Diego, USA, pp. 19091912. ps.gz.
Manuel Kauers, May 2002, Verstehen natürlicher Sprache durch statistische Übersetzung in eine termbasierte Interlingua, Master Thesis (Diplomarbeit), University of Karlsruhe, Germany. (German.) ps.gz.
Clemens Ballarin and Manuel Kauers, March 2002, Solving Parametric Linear Systems: an Experiment with Constraint Algebraic Programming, In Proceedings of the 8th Rhine Workshop of Computer Algebra, Mannheim, Germany, pp. 101114. ps.gz.
Manuel Kauers, August 2001, Strategien zum Lösen parametrischer Linearer Gleichungssysteme, Student project (Studienarbeit), University of Karlsruhe, Germany. (German.) ps.gz.