Interlingua based statistical machine translation. - Manuel Kauers; Stephan Vogel; Christian Fügen; Alex Waibel (INTERSPEECH, 2002)

Computing limits of sequences. - Manuel Kauers (SIGSAM Bull., 2003)

Computer proofs for polynomial identities in arbitrary many variables. - Manuel Kauers (ISSAC, 2004)

Solving parametric linear systems: an experiment with constraint algebraic programming. - Clemens Ballarin; Manuel Kauers (SIGSAM Bull., 2004)

A procedure for proving special function inequalities involving a discrete parameter. - Stefan Gerhold; Manuel Kauers (ISSAC, 2005)

Application of unspecified sequences in symbolic summation. - Manuel Kauers; Carsten Schneider (ISSAC, 2006)

Shift Equivalence of P-finite Sequences. - Manuel Kauers (Electron. J. Comb., 2006)

Indefinite summation with unspecified summands. - Manuel Kauers; Carsten Schneider (Discret. Math., 2006)

SumCracker: A package for manipulating symbolic sums and related objects. - Manuel Kauers (J. Symb. Comput., 2006)

Problem 11258. - Manuel Kauers (Am. Math. Mon., 2006)

Symbolic summation with radical expressions. - Manuel Kauers; Carsten Schneider (ISSAC, 2007)

Summation algorithms for Stirling number identities. - Manuel Kauers (J. Symb. Comput., 2007)

An algorithm for deciding zero equivalence of nested polynomially recurrent sequences. - Manuel Kauers (ACM Trans. Algorithms, 2007)

Integration of algebraic functions: a simple heuristic for finding the logarithmic part. - Manuel Kauers (ISSAC, 2008)

Automated Proofs for Some Stirling Number Identities. - Manuel Kauers; Carsten Schneider (Electron. J. Comb., 2008)

Experiments with a Positivity-Preserving Operator. - Manuel Kauers; Doron Zeilberger (Exp. Math., 2008)

Computing the algebraic relations of C-finite sequences and multisequences. - Manuel Kauers; Burkhard Zimmermann (J. Symb. Comput., 2008)

A Telescoping Fibonacci Sum: 11258. - Manuel Kauers; Richard Stong (Am. Math. Mon., 2008)

Solving difference equations whose coefficients are not transcendental. - Manuel Kauers (Theor. Comput. Sci., 2008)

Algorithms in Symbolic Computation. - Peter Paule; Bruno Buchberger; Lena Kartashova; Manuel Kauers; Carsten Schneider; Franz Winkler 001 (Hagenberg Research, 2009)

A non-holonomic systems approach to special function identities. - Frédéric Chyzak; Manuel Kauers; Bruno Salvy (ISSAC, 2009)

Determining the closed forms of the $O(a_s^3)$ anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra - Johannes Blümlein; Manuel Kauers; Sebastian Klein; Carsten Schneider (CoRR, 2009)

From Moments to Functions in Quantum Chromodynamics - Johannes Blümlein; Manuel Kauers; Sebastian Klein; Carsten Schneider (CoRR, 2009)

The complete Generating Function for Gessel Walks is Algebraic - Alin Bostan; Manuel Kauers (CoRR, 2009)

Determining the closed forms of the O(sS3) anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra. - Johannes Blümlein; Manuel Kauers; Sebastian Klein; Carsten Schneider (Comput. Phys. Commun., 2009)

When can we detect that a P-finite sequence is positive? - Manuel Kauers; Veronika Pillwein (ISSAC, 2010)

Partial denominator bounds for partial linear difference equations. - Manuel Kauers; Carsten Schneider (ISSAC, 2010)

Proof of George Andrews's and David Robbins's q-TSPP Conjecture. - Christoph Koutschan; Manuel Kauers; Doron Zeilberger (CoRR, 2010)

When can we decide that a P-finite sequence is positive? - Manuel Kauers; Veronika Pillwein (CoRR, 2010)

Groebner basis. - Bruno Buchberger; Manuel Kauers (Scholarpedia, 2010)

The concrete tetrahedron. - Manuel Kauers (ISSAC, 2011)

A refined denominator bounding algorithm for multivariate linear difference equations. - Manuel Kauers; Carsten Schneider (ISSAC, 2011)

The computational challenge of enumerating high-dimensional rook walks. - Manuel Kauers; Doron Zeilberger (Adv. Appl. Math., 2011)

A Method for Determining the Mod-2k Behaviour of Recursive Sequences, with Applications to Subgroup Counting. - Manuel Kauers; Christian Krattenthaler; Thomas W. Müller (Electron. J. Comb., 2011)

Dominance in the family of Sugeno-Weber t-norms. - Manuel Kauers; Veronika Pillwein; Susanne Saminger-Platz (Fuzzy Sets Syst., 2011)

Buchberger's algorithm. - Bruno Buchberger; Manuel Kauers (Scholarpedia, 2011)

The Concrete Tetrahedron - Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates. - Manuel Kauers; Peter Paule (Springer, 2011)

Order-degree curves for hypergeometric creative telescoping. - Shaoshi Chen; Manuel Kauers (ISSAC, 2012)

Telescopers for rational and algebraic functions via residues. - Shaoshi Chen; Manuel Kauers; Michael F. Singer (ISSAC, 2012)

Hypercontractive inequalities via SOS, with an application to Vertex-Cover - Manuel Kauers; Ryan O'Donnell; Li-Yang Tan; Yuan Zhou 007 (CoRR, 2012)

Trading order for degree in creative telescoping. - Shaoshi Chen; Manuel Kauers (J. Symb. Comput., 2012)

Desingularization explains order-degree curves for ore operators. - Shaoshi Chen; Maximilian Jaroschek; Manuel Kauers; Michael F. Singer (ISSAC, 2013)

Finding hyperexponential solutions of linear ODEs by numerical evaluation. - Fredrik Johansson 001; Manuel Kauers; Marc Mezzarobba (ISSAC, 2013)

Ore Polynomials in Sage. - Manuel Kauers; Maximilian Jaroschek; Fredrik Johansson 001 (CoRR, 2013)

Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order - Stefan Gerhold; Manuel Kauers; Christoph Koutschan; Peter Paule; Carsten Schneider; Burkhard Zimmermann (CoRR, 2013)

A generalized Apagodu-Zeilberger algorithm. - Shaoshi Chen; Manuel Kauers; Christoph Koutschan (ISSAC, 2014)

Bounds for D-finite closure properties. - Manuel Kauers (ISSAC, 2014)

Hypercontractive inequalities via SOS, and the Frankl-Rödl graph. - Manuel Kauers; Ryan O'Donnell; Li-Yang Tan; Yuan Zhou 007 (SODA, 2014)

A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. - Shaoshi Chen; Hui Huang; Manuel Kauers; Ziming Li 002 (ISSAC, 2015)

Integral D-Finite Functions. - Manuel Kauers; Christoph Koutschan (ISSAC, 2015)

Creative Telescoping via Hermite Reduction. - Manuel Kauers (SYNASC, 2015)

An Improved Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. - Shaoshi Chen; Hui Huang; Manuel Kauers; Ziming Li 002 (CoRR, 2015)

On the length of integers in telescopers for proper hypergeometric terms. - Manuel Kauers; Lily Yen (J. Symb. Comput., 2015)

Ore Polynomials in Sage. - Manuel Kauers; Maximilian Jaroschek; Fredrik Johansson 001 (Computer Algebra and Polynomials, 2015)

Reduction-Based Creative Telescoping for Algebraic Functions. - Shaoshi Chen; Manuel Kauers; Christoph Koutschan (ISSAC, 2016)

Workshop on symbolic combinatorics and algorithmic differential algebra. - Manuel Kauers; Peter Paule; Greg Reid (ACM Commun. Comput. Algebra, 2016)

D-finite Numbers. - Hui Huang; Manuel Kauers (CoRR, 2016)

Factorization of C-finite Sequences. - Manuel Kauers; Doron Zeilberger (CoRR, 2016)

Desingularization of Ore operators. - Shaoshi Chen; Manuel Kauers; Michael F. Singer (J. Symb. Comput., 2016)

On a Conjecture of Cusick Concerning the Sum of Digits of n and n+t. - Michael Drmota; Manuel Kauers; Lukas Spiegelhofer (SIAM J. Discret. Math., 2016)

Column-wise verification of multipliers using computer algebra. - Daniela Ritirc; Armin Biere; Manuel Kauers (FMCAD, 2017)

Bounds for Substituting Algebraic Functions into D-finite Functions. - Manuel Kauers; Gleb Pogudin (ISSAC, 2017)

Challenges in Verifying Arithmetic Circuits Using Computer Algebra. - Armin Biere; Manuel Kauers; Daniela Ritirc (SYNASC, 2017)

Asymptotic Enumeration of Compacted Binary Trees. - Antoine Genitrini; Bernhard Gittenberger; Manuel Kauers; Michael Wallner 001 (CoRR, 2017)

Bounds for D-finite Substitution. - Manuel Kauers; Gleb Pogudin (CoRR, 2017)

Hypergeometric expressions for generating functions of walks with small steps in the quarter plane. - Alin Bostan; Frédéric Chyzak; Mark van Hoeij; Manuel Kauers; Lucien Pech (Eur. J. Comb., 2017)

Lattice walks in the octant with infinite associated groups. - Manuel Kauers; Rong-Hua Wang (Electron. Notes Discret. Math., 2017)

Some open problems related to creative telescoping. - Shaoshi Chen; Manuel Kauers (J. Syst. Sci. Complex., 2017)

Improving and extending the algebraic approach for verifying gate-level multipliers. - Daniela Ritirc; Armin Biere; Manuel Kauers (DATE, 2018)

Symmetries of Quantified Boolean Formulas. - Manuel Kauers; Martina Seidl (SAT, 2018)

A Practical Polynomial Calculus for Arithmetic Circuit Verification. - Daniela Ritirc; Armin Biere; Manuel Kauers (SC-Square@FLOC, 2018)

A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics. - Manuel Kauers; Doron Zeilberger (CoRR, 2018)

Short proofs for some symmetric Quantified Boolean Formulas. - Manuel Kauers; Martina Seidl (Inf. Process. Lett., 2018)

Reduction-based creative telescoping for fuchsian D-finite functions. - Shaoshi Chen; Mark van Hoeij; Manuel Kauers; Christoph Koutschan (J. Symb. Comput., 2018)

Verifying Large Multipliers by Combining SAT and Computer Algebra. - Daniela Kaufmann; Armin Biere; Manuel Kauers (FMCAD, 2019)

Local Search for Fast Matrix Multiplication. - Marijn J. H. Heule; Manuel Kauers; Martina Seidl (SAT, 2019)

SAT, Computer Algebra, Multipliers. - Daniela Ritirc; Armin Biere; Manuel Kauers (Vampire, 2019)

A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications. - Marijn Heule; Manuel Kauers; Martina Seidl (ACM Commun. Comput. Algebra, 2019)

Multivariate ore polynomials in SageMath. - Manuel Kauers; Marc Mezzarobba (ACM Commun. Comput. Algebra, 2019)

Why you should remove zeros from data before guessing. - Manuel Kauers; Thibaut Verron (ACM Commun. Comput. Algebra, 2019)

On the maximal minimal cube lengths in distinct DNF tautologies. - Manuel Kauers; Martina Seidl; Doron Zeilberger (CoRR, 2019)

New ways to multiply 3 x 3-matrices. - Marijn J. H. Heule; Manuel Kauers; Martina Seidl (CoRR, 2019)

Apparent singularities of D-finite systems. - Shaoshi Chen; Manuel Kauers; Ziming Li 002; Yi Zhang (J. Symb. Comput., 2019)

Good Pivots for Small Sparse Matrices. - Manuel Kauers; Jakob Moosbauer (CASC, 2020)

From DRUP to PAC and Back. - Daniela Kaufmann; Armin Biere; Manuel Kauers (DATE, 2020)

Separating variables in bivariate polynomial ideals. - Manfred Buchacher; Manuel Kauers; Gleb Pogudin (ISSAC, 2020)

Integral bases for p-recursive sequences. - Shaoshi Chen; Lixin Du; Manuel Kauers; Thibaut Verron (ISSAC, 2020)

Integral P-Recursive Sequences. - Shaoshi Chen; Lixin Du; Manuel Kauers; Thibaut Verron (CoRR, 2020)

Incremental column-wise verification of arithmetic circuits using computer algebra. - Daniela Kaufmann; Armin Biere; Manuel Kauers (Formal Methods Syst. Des., 2020)

Asymptotic enumeration of compacted binary trees of bounded right height. - Antoine Genitrini; Bernhard Gittenberger; Manuel Kauers; Michael Wallner 001 (J. Comb. Theory A, 2020)

Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions. - Shaoshi Chen; Lixin Du; Manuel Kauers (ISSAC, 2021)

New ways to multiply 3 × 3-matrices. - Marijn J. H. Heule; Manuel Kauers; Martina Seidl (J. Symb. Comput., 2021)

Foreword. - Manuel Kauers; Alexey Ovchinnikov; Éric Schost (J. Symb. Comput., 2021)

A Normal Form for Matrix Multiplication Schemes. - Manuel Kauers; Jakob Moosbauer (CAI, 2022)

Order-Degree-Height Surfaces for Linear Operators. - Hui Huang; Manuel Kauers; Gargi Mukherjee (ISSAC, 2022)

Guessing with Little Data. - Manuel Kauers; Christoph Koutschan (ISSAC, 2022)

OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. - Ankit Shukla 003; Sibylle Möhle; Manuel Kauers; Martina Seidl (CICM, 2022)

The FBHHRBNRSSSHK-Algorithm for Multiplication in $ mathbb{Z}_2^{5 times5}$ is still not the end of the story. - Manuel Kauers; Jakob Moosbauer (CoRR, 2022)

Hermite Reduction for D-finite Functions via Integral Bases. - Shaoshi Chen; Lixin Du; Manuel Kauers (ISSAC, 2023)

Transcendence Certificates for D-finite Functions. - Manuel Kauers; Christoph Koutschan; Thibaut Verron (ISSAC, 2023)

Flip Graphs for Matrix Multiplication. - Manuel Kauers; Jakob Moosbauer (ISSAC, 2023)

Order bounds for C2-finite sequences. - Manuel Kauers; Philipp Nuspl; Veronika Pillwein (ISSAC, 2023)

Order bounds for C2-finite sequences. - Manuel Kauers; Philipp Nuspl; Veronika Pillwein (CoRR, 2023)

Some D-finite and some Possibly D-finite Sequences in the OEIS. - Manuel Kauers; Christoph Koutschan (CoRR, 2023)

Some New Non-Commutative Matrix Multiplication Algorithms of Size (n, m, 6). - Manuel Kauers; Jakob Moosbauer (CoRR, 2023)

Lonely Points in Simplices. - Maximilian Jaroschek; Manuel Kauers; Laura Kovács (Discret. Comput. Geom., 2023)

On the Problem of Separating Variables in Multivariate Polynomial Ideals. - Manfred Buchacher; Manuel Kauers (ISSAC, 2024)

Parallel Summation in P-Recursive Extensions. - Shaoshi Chen; Ruyong Feng; Manuel Kauers; Xiuyun Li (ISSAC, 2024)

Hardinian Arrays. - Robert Dougherty-Bliss; Manuel Kauers (Electron. J. Comb., 2024)

Towards a Parallel Summation Algorithm. - Shaoshi Chen; Ruyong Feng; Manuel Kauers; Xiuyun Li (CoRR, 2024)

Symmetries of Dependency Quantified Boolean Formulas. - Clemens Hofstadler; Manuel Kauers; Martina Seidl (CoRR, 2024)

Some New Non-Commutative Matrix Multiplication Algorithms of Size (n, m, 6). - Manuel Kauers; Jakob Moosbauer (ACM Commun. Comput. Algebra, 2024)

Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker. - Daniela Kaufmann; Mathias Fleury; Armin Biere; Manuel Kauers (Formal Methods Syst. Des., 2024)

Solution Counts of Some Prominent Quantified Boolean Formulas Families. - Andreas Plank; Martina Seidl; Manuel Kauers (SAC, 2025)

Reduction-based creative telescoping for P-recursive sequences via integral bases. - Shaoshi Chen; Lixin Du; Manuel Kauers; Rong-Hua Wang (J. Symb. Comput., 2025)

Non-minimality of minimal telescopers explained by residues. - Shaoshi Chen; Manuel Kauers; Christoph Koutschan; Xiuyun Li; Rong-Hua Wang; Yisen Wang 007 (CoRR, 2025)

Flip Graphs for Polynomial Multiplication. - Shaoshi Chen; Manuel Kauers (CoRR, 2025)

A Shape Lemma for Ideals of Differential Operators. - Manuel Kauers; Christoph Koutschan; Thibaut Verron (CoRR, 2025)

Creative Telescoping. - Shaoshi Chen; Manuel Kauers; Christoph Koutschan (CoRR, 2025)

Consequences of the Moosbauer-Poole Algorithms. - Manuel Kauers; Isaac Wood (CoRR, 2025)

Bounds for D-Algebraic Closure Properties. - Manuel Kauers; Raphael Pages (CoRR, 2025)