Manuel Kauers - RankMe

170 papers A* 1A 5B 41C 1Misc 3Journal 111Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Exploiting the Structure in Tensor Decompositions for Matrix Multiplication. CoRR Manuel Kauers, Jakob Moosbauer, Isaac Wood
2026	J	`jnl`	Statistical Analysis of Hairpins and BasePairs in RNA Secondary Structures. CoRR AJ Bu, Manuel Kauers, Doron Zeilberger
2026	J	`jnl`	Symbolic Integration in Weierstrass-like Extensions. CoRR Shaoshi Chen, Manuel Kauers, Wenqiao Li, Xiuyun Li, David Masser
2025	J	`jnl`	A Shape Lemma for Ideals of Differential Operators. CoRR Manuel Kauers, Christoph Koutschan, Thibaut Verron
2025	B	`conf`	Bounds for D-Algebraic Closure Properties. ISSAC Manuel Kauers, Raphael Pages
2025	J	`jnl`	Bounds for D-Algebraic Closure Properties. CoRR Manuel Kauers, Raphael Pages
2025	J	`jnl`	Consequences of the Moosbauer-Poole Algorithms. CoRR Manuel Kauers, Isaac Wood
2025	J	`jnl`	Creative Telescoping. CoRR Shaoshi Chen, Manuel Kauers, Christoph Koutschan
2025	B	`conf`	D-Finiteness: A Success Story. ISSAC Manuel Kauers
2025	J	`jnl`	Exploring the Meta Flip Graph for Matrix Multiplication. CoRR Manuel Kauers, Isaac Wood
2025	J	`jnl`	Flip Graphs for Polynomial Multiplication. CoRR Shaoshi Chen, Manuel Kauers
2025	B	`conf`	Non-minimality of minimal telescopers explained by residues. ISSAC Shaoshi Chen, Manuel Kauers, Christoph Koutschan, Xiuyun Li, Rong-Hua Wang, Yisen Wang
2025	J	`jnl`	Non-minimality of minimal telescopers explained by residues. CoRR Shaoshi Chen, Manuel Kauers, Christoph Koutschan, Xiuyun Li, Rong-Hua Wang, Yisen Wang
2025	J	`jnl`	Reduction-based creative telescoping for P-recursive sequences via integral bases. J. Symb. Comput. Shaoshi Chen, Lixin Du, Manuel Kauers, Rong-Hua Wang
2025	Misc	`conf`	Solution Counts of Some Prominent Quantified Boolean Formulas Families. SAC Andreas Plank, Martina Seidl, Manuel Kauers
2025	J	`jnl`	Symmetric Division of Linear Ordinary Differential Operators. CoRR Lixin Du, Manuel Kauers
2024	J	`jnl`	Hardinian Arrays. Electron. J. Comb. Robert Dougherty-Bliss, Manuel Kauers
2024	B	`conf`	On the Problem of Separating Variables in Multivariate Polynomial Ideals. ISSAC Manfred Buchacher, Manuel Kauers
2024	J	`jnl`	On the Problem of Separating Variables in Multivariate Polynomial Ideals. CoRR Manfred Buchacher, Manuel Kauers
2024	B	`conf`	Parallel Summation in P-Recursive Extensions. ISSAC Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li
2024	J	`jnl`	Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker. Formal Methods Syst. Des. Daniela Kaufmann, Mathias Fleury, Armin Biere, Manuel Kauers
2024	J	`jnl`	Some New Non-Commutative Matrix Multiplication Algorithms of Size ( ACM Commun. Comput. Algebra Manuel Kauers, Jakob Moosbauer
2024	J	`jnl`	Symmetries of Dependency Quantified Boolean Formulas. CoRR Clemens Hofstadler, Manuel Kauers, Martina Seidl
2024	J	`jnl`	Towards a Parallel Summation Algorithm. CoRR Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li
2023	B	`conf`	Flip Graphs for Matrix Multiplication. ISSAC Manuel Kauers, Jakob Moosbauer
2023	B	`conf`	Hermite Reduction for D-finite Functions via Integral Bases. ISSAC Shaoshi Chen, Lixin Du, Manuel Kauers
2023	J	`jnl`	Hermite Reduction for D-finite Functions via Integral Bases. CoRR Shaoshi Chen, Lixin Du, Manuel Kauers
2023	J	`jnl`	Lonely Points in Simplices. Discret. Comput. Geom. Maximilian Jaroschek, Manuel Kauers, Laura Kovács
2023	J	`jnl`	Order bounds for C CoRR Manuel Kauers, Philipp Nuspl, Veronika Pillwein
2023	B	`conf`	Order bounds for C2-finite sequences. ISSAC Manuel Kauers, Philipp Nuspl, Veronika Pillwein
2023	J	`jnl`	Reduction-based Creative Telescoping for P-recursive Sequences via Integral Bases. CoRR Shaoshi Chen, Lixin Du, Manuel Kauers, Rong-Hua Wang
2023	J	`jnl`	Some D-finite and some Possibly D-finite Sequences in the OEIS. CoRR Manuel Kauers, Christoph Koutschan
2023	J	`jnl`	Some New Non-Commutative Matrix Multiplication Algorithms of Size (n, m, 6). CoRR Manuel Kauers, Jakob Moosbauer
2023	B	`conf`	Transcendence Certificates for D-finite Functions. ISSAC Manuel Kauers, Christoph Koutschan, Thibaut Verron
2023	J	`jnl`	Transcendence Certificates for D-finite Functions. CoRR Manuel Kauers, Christoph Koutschan, Thibaut Verron
2022	—	`conf`	A Normal Form for Matrix Multiplication Schemes. CAI Manuel Kauers, Jakob Moosbauer
2022	J	`jnl`	A Normal Form for Matrix Multiplication Schemes. CoRR Manuel Kauers, Jakob Moosbauer
2022	J	`jnl`	Flip Graphs for Matrix Multiplication. CoRR Manuel Kauers, Jakob Moosbauer
2022	B	`conf`	Guessing with Little Data. ISSAC Manuel Kauers, Christoph Koutschan
2022	J	`jnl`	Guessing with Little Data. CoRR Manuel Kauers, Christoph Koutschan
2022	B	`conf`	Order-Degree-Height Surfaces for Linear Operators. ISSAC Hui Huang, Manuel Kauers, Gargi Mukherjee
2022	J	`jnl`	Order-Degree-Height Surfaces for Linear Operators. CoRR Hui Huang, Manuel Kauers, Gargi Mukherjee
2022	C	`conf`	OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. CICM Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl
2022	J	`jnl`	The FBHHRBNRSSSHK-Algorithm for Multiplication in $\mathbb{Z}_2^{5\times5}$ is still not the end of the story. CoRR Manuel Kauers, Jakob Moosbauer
2021	J	`jnl`	Foreword. J. Symb. Comput. Manuel Kauers, Alexey Ovchinnikov, Éric Schost
2021	B	`conf`	Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions. ISSAC Shaoshi Chen, Lixin Du, Manuel Kauers
2021	J	`jnl`	Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions. CoRR Shaoshi Chen, Lixin Du, Manuel Kauers
2021	J	`jnl`	New ways to multiply 3 × 3-matrices. J. Symb. Comput. Marijn J. H. Heule, Manuel Kauers, Martina Seidl
2020	J	`jnl`	Asymptotic enumeration of compacted binary trees of bounded right height. J. Comb. Theory A Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, Michael Wallner
2020	A	`conf`	From DRUP to PAC and Back. DATE Daniela Kaufmann, Armin Biere, Manuel Kauers
2020	B	`conf`	Good Pivots for Small Sparse Matrices. CASC Manuel Kauers, Jakob Moosbauer
2020	J	`jnl`	Good pivots for small sparse matrices. CoRR Manuel Kauers, Jakob Moosbauer
2020	J	`jnl`	Incremental column-wise verification of arithmetic circuits using computer algebra. Formal Methods Syst. Des. Daniela Kaufmann, Armin Biere, Manuel Kauers
2020	J	`jnl`	Integral P-Recursive Sequences. CoRR Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron
2020	B	`conf`	Integral bases for p-recursive sequences. ISSAC Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron
2020	J	`jnl`	Separating Variables in Bivariate Polynomial Ideals. CoRR Manfred Buchacher, Manuel Kauers, Gleb Pogudin
2020	B	`conf`	Separating variables in bivariate polynomial ideals. ISSAC Manfred Buchacher, Manuel Kauers, Gleb Pogudin
2019	J	`jnl`	A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications. ACM Commun. Comput. Algebra Marijn Heule, Manuel Kauers, Martina Seidl
2019	J	`jnl`	Apparent singularities of D-finite systems. J. Symb. Comput. Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang
2019	A	`conf`	Local Search for Fast Matrix Multiplication. SAT Marijn J. H. Heule, Manuel Kauers, Martina Seidl
2019	J	`jnl`	Local Search for Fast Matrix Multiplication. CoRR Marijn J. H. Heule, Manuel Kauers, Martina Seidl
2019	J	`jnl`	Lonely Points in Simplices. CoRR Maximilian Jaroschek, Manuel Kauers, Laura Kovács
2019	J	`jnl`	Multivariate ore polynomials in SageMath. ACM Commun. Comput. Algebra Manuel Kauers, Marc Mezzarobba
2019	J	`jnl`	New ways to multiply 3 x 3-matrices. CoRR Marijn J. H. Heule, Manuel Kauers, Martina Seidl
2019	J	`jnl`	On the maximal minimal cube lengths in distinct DNF tautologies. CoRR Manuel Kauers, Martina Seidl, Doron Zeilberger
2019	B	`ed.`	Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019. ISSAC James H. Davenport, Dongming Wang, Manuel Kauers, Russell J. Bradford
2019	—	`conf`	SAT, Computer Algebra, Multipliers. Vampire Daniela Ritirc, Armin Biere, Manuel Kauers
2019	B	`conf`	Verifying Large Multipliers by Combining SAT and Computer Algebra. FMCAD Daniela Kaufmann, Armin Biere, Manuel Kauers
2019	J	`jnl`	Why you should remove zeros from data before guessing. ACM Commun. Comput. Algebra Manuel Kauers, Thibaut Verron
2018	—	`conf`	A Practical Polynomial Calculus for Arithmetic Circuit Verification. SC-Square@FLOC Daniela Ritirc, Armin Biere, Manuel Kauers
2018	J	`jnl`	A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics. CoRR Manuel Kauers, Doron Zeilberger
2018	A	`conf`	Improving and extending the algebraic approach for verifying gate-level multipliers. DATE Daniela Ritirc, Armin Biere, Manuel Kauers
2018	—	`ed.`	Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings ICMS James H. Davenport, Manuel Kauers, George Labahn, Josef Urban
2018	B	`ed.`	Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018 ISSAC Manuel Kauers, Alexey Ovchinnikov, Éric Schost
2018	J	`jnl`	Reduction-based creative telescoping for fuchsian D-finite functions. J. Symb. Comput. Shaoshi Chen, Mark van Hoeij, Manuel Kauers, Christoph Koutschan
2018	J	`jnl`	Short Proofs for Some Symmetric Quantified Boolean Formulas. CoRR Manuel Kauers, Martina Seidl
2018	J	`jnl`	Short proofs for some symmetric Quantified Boolean Formulas. Inf. Process. Lett. Manuel Kauers, Martina Seidl
2018	A	`conf`	Symmetries of Quantified Boolean Formulas. SAT Manuel Kauers, Martina Seidl
2018	J	`jnl`	Symmetries of Quantified Boolean Formulas. CoRR Manuel Kauers, Martina Seidl
2017	J	`jnl`	Apparent Singularities of D-finite Systems. CoRR Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang
2017	J	`jnl`	Asymptotic Enumeration of Compacted Binary Trees. CoRR Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, Michael Wallner
2017	J	`jnl`	Bounds for D-finite Substitution. CoRR Manuel Kauers, Gleb Pogudin
2017	B	`conf`	Bounds for Substituting Algebraic Functions into D-finite Functions. ISSAC Manuel Kauers, Gleb Pogudin
2017	Misc	`conf`	Challenges in Verifying Arithmetic Circuits Using Computer Algebra. SYNASC Armin Biere, Manuel Kauers, Daniela Ritirc
2017	B	`conf`	Column-wise verification of multipliers using computer algebra. FMCAD Daniela Ritirc, Armin Biere, Manuel Kauers
2017	J	`jnl`	Hypergeometric expressions for generating functions of walks with small steps in the quarter plane. Eur. J. Comb. Alin Bostan, Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech
2017	J	`jnl`	Lattice walks in the octant with infinite associated groups. Electron. Notes Discret. Math. Manuel Kauers, Rong-Hua Wang
2017	J	`jnl`	Some open problems related to creative telescoping. J. Syst. Sci. Complex. Shaoshi Chen, Manuel Kauers
2016	J	`jnl`	D-finite Numbers. CoRR Hui Huang, Manuel Kauers
2016	J	`jnl`	Desingularization of Ore operators. J. Symb. Comput. Shaoshi Chen, Manuel Kauers, Michael F. Singer
2016	J	`jnl`	Factorization of C-finite Sequences. CoRR Manuel Kauers, Doron Zeilberger
2016	J	`jnl`	Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane. CoRR Alin Bostan, Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech
2016	J	`jnl`	On a Conjecture of Cusick Concerning the Sum of Digits of n and n+t. SIAM J. Discret. Math. Michael Drmota, Manuel Kauers, Lukas Spiegelhofer
2016	B	`conf`	Reduction-Based Creative Telescoping for Algebraic Functions. ISSAC Shaoshi Chen, Manuel Kauers, Christoph Koutschan
2016	J	`jnl`	Reduction-Based Creative Telescoping for Algebraic Functions. CoRR Shaoshi Chen, Manuel Kauers, Christoph Koutschan
2016	J	`jnl`	Reduction-Based Creative Telescoping for Fuchsian D-finite Functions. CoRR Shaoshi Chen, Mark van Hoeij, Manuel Kauers, Christoph Koutschan
2016	J	`jnl`	Some Open Problems related to Creative Telescoping. CoRR Shaoshi Chen, Manuel Kauers
2016	J	`jnl`	Workshop on symbolic combinatorics and algorithmic differential algebra. ACM Commun. Comput. Algebra Manuel Kauers, Peter Paule, Greg Reid
2015	B	`conf`	A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. ISSAC Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li
2015	J	`jnl`	An Improved Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. CoRR Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li
2015	Misc	`conf`	Creative Telescoping via Hermite Reduction. SYNASC Manuel Kauers
2015	B	`conf`	Integral D-Finite Functions. ISSAC Manuel Kauers, Christoph Koutschan
2015	J	`jnl`	Integral D-Finite Functions. CoRR Manuel Kauers, Christoph Koutschan
2015	J	`jnl`	On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t. CoRR Michael Drmota, Manuel Kauers, Lukas Spiegelhofer
2015	J	`jnl`	On the length of integers in telescopers for proper hypergeometric terms. J. Symb. Comput. Manuel Kauers, Lily Yen
2015	—	`ch.`	Ore Polynomials in Sage. Computer Algebra and Polynomials Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson
2014	J	`jnl`	A Generalized Apagodu-Zeilberger Algorithm. CoRR Shaoshi Chen, Manuel Kauers, Christoph Koutschan
2014	B	`conf`	A generalized Apagodu-Zeilberger algorithm. ISSAC Shaoshi Chen, Manuel Kauers, Christoph Koutschan
2014	B	`conf`	Bounds for D-finite closure properties. ISSAC Manuel Kauers
2014	J	`jnl`	Bounds for D-finite closure properties. CoRR Manuel Kauers
2014	J	`jnl`	Desingularization of Ore Operators. CoRR Shaoshi Chen, Manuel Kauers, Michael F. Singer
2014	A*	`conf`	Hypercontractive inequalities via SOS, and the Frankl-Rödl graph. SODA Manuel Kauers, Ryan O'Donnell, Li-Yang Tan, Yuan Zhou
2013	J	`jnl`	Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order CoRR Stefan Gerhold, Manuel Kauers, Christoph Koutschan, Peter Paule, Carsten Schneider, Burkhard Zimmermann
2013	J	`jnl`	Desingularization Explains Order-Degree Curves for Ore Operators CoRR Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer
2013	B	`conf`	Desingularization explains order-degree curves for ore operators. ISSAC Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer
2013	J	`jnl`	Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation CoRR Fredrik Johansson, Manuel Kauers, Marc Mezzarobba
2013	B	`conf`	Finding hyperexponential solutions of linear ODEs by numerical evaluation. ISSAC Fredrik Johansson, Manuel Kauers, Marc Mezzarobba
2013	B	`ed.`	International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013 ISSAC Manuel Kauers
2013	J	`jnl`	On the length of integers in telescopers for proper hypergeometric terms. CoRR Manuel Kauers, Lily Yen
2013	J	`jnl`	Ore Polynomials in Sage. CoRR Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson
2012	J	`jnl`	Hypercontractive inequalities via SOS, with an application to Vertex-Cover CoRR Manuel Kauers, Ryan O'Donnell, Li-Yang Tan, Yuan Zhou
2012	J	`jnl`	Order-Degree Curves for Hypergeometric Creative Telescoping CoRR Shaoshi Chen, Manuel Kauers
2012	B	`conf`	Order-degree curves for hypergeometric creative telescoping. ISSAC Shaoshi Chen, Manuel Kauers
2012	J	`jnl`	Telescopers for Rational and Algebraic Functions via Residues CoRR Shaoshi Chen, Manuel Kauers, Michael F. Singer
2012	B	`conf`	Telescopers for rational and algebraic functions via residues. ISSAC Shaoshi Chen, Manuel Kauers, Michael F. Singer
2012	J	`jnl`	Trading order for degree in creative telescoping. J. Symb. Comput. Shaoshi Chen, Manuel Kauers
2011	J	`jnl`	A Method for Determining the Mod-2 Electron. J. Comb. Manuel Kauers, Christian Krattenthaler, Thomas W. Müller
2011	J	`jnl`	A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations CoRR Manuel Kauers, Carsten Schneider
2011	B	`conf`	A refined denominator bounding algorithm for multivariate linear difference equations. ISSAC Manuel Kauers, Carsten Schneider
2011	J	`jnl`	Buchberger's algorithm. Scholarpedia Bruno Buchberger, Manuel Kauers
2011	J	`jnl`	Dominance in the family of Sugeno-Weber t-norms. Fuzzy Sets Syst. Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz
2011	—	`book`	The Concrete Tetrahedron - Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates. Manuel Kauers, Peter Paule
2011	J	`jnl`	The computational challenge of enumerating high-dimensional rook walks. Adv. Appl. Math. Manuel Kauers, Doron Zeilberger
2011	B	`conf`	The concrete tetrahedron. ISSAC Manuel Kauers
2011	J	`jnl`	Trading Order for Degree in Creative Telescoping CoRR Shaoshi Chen, Manuel Kauers
2010	J	`jnl`	Dominance in the family of Sugeno-Weber t-norms CoRR Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz
2010	J	`jnl`	Groebner basis. Scholarpedia Bruno Buchberger, Manuel Kauers
2010	J	`jnl`	Partial Denominator Bounds for Partial Linear Difference Equations CoRR Manuel Kauers, Carsten Schneider
2010	B	`conf`	Partial denominator bounds for partial linear difference equations. ISSAC Manuel Kauers, Carsten Schneider
2010	J	`jnl`	Proof of George Andrews's and David Robbins's q-TSPP Conjecture. CoRR Christoph Koutschan, Manuel Kauers, Doron Zeilberger
2010	J	`jnl`	When can we decide that a P-finite sequence is positive? CoRR Manuel Kauers, Veronika Pillwein
2010	B	`conf`	When can we detect that a P-finite sequence is positive? ISSAC Manuel Kauers, Veronika Pillwein
2009	J	`jnl`	A Non-Holonomic Systems Approach to Special Function Identities CoRR Frédéric Chyzak, Manuel Kauers, Bruno Salvy
2009	B	`conf`	A non-holonomic systems approach to special function identities. ISSAC Frédéric Chyzak, Manuel Kauers, Bruno Salvy
2009	—	`ch.`	Algorithms in Symbolic Computation. Hagenberg Research Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler
2009	J	`jnl`	Determining the closed forms of the $O(a_s^3)$ anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra CoRR Johannes Blümlein, Manuel Kauers, Sebastian Klein, Carsten Schneider
2009	J	`jnl`	Determining the closed forms of the O(s Comput. Phys. Commun. Johannes Blümlein, Manuel Kauers, Sebastian Klein, Carsten Schneider
2009	J	`jnl`	From Moments to Functions in Quantum Chromodynamics CoRR Johannes Blümlein, Manuel Kauers, Sebastian Klein, Carsten Schneider
2009	J	`jnl`	The complete Generating Function for Gessel Walks is Algebraic CoRR Alin Bostan, Manuel Kauers
2008	J	`jnl`	A Telescoping Fibonacci Sum: 11258. Am. Math. Mon. Manuel Kauers, Richard Stong
2008	J	`jnl`	Automated Proofs for Some Stirling Number Identities. Electron. J. Comb. Manuel Kauers, Carsten Schneider
2008	J	`jnl`	Computing the algebraic relations of C-finite sequences and multisequences. J. Symb. Comput. Manuel Kauers, Burkhard Zimmermann
2008	J	`jnl`	Experiments with a Positivity-Preserving Operator. Exp. Math. Manuel Kauers, Doron Zeilberger
2008	B	`conf`	Integration of algebraic functions: a simple heuristic for finding the logarithmic part. ISSAC Manuel Kauers
2008	J	`jnl`	Solving difference equations whose coefficients are not transcendental. Theor. Comput. Sci. Manuel Kauers
2007	J	`jnl`	An algorithm for deciding zero equivalence of nested polynomially recurrent sequences. ACM Trans. Algorithms Manuel Kauers
2007	J	`jnl`	Summation algorithms for Stirling number identities. J. Symb. Comput. Manuel Kauers
2007	B	`conf`	Symbolic summation with radical expressions. ISSAC Manuel Kauers, Carsten Schneider
2007	—	`ed.`	Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings Calculemus/MKM Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
2006	B	`conf`	Application of unspecified sequences in symbolic summation. ISSAC Manuel Kauers, Carsten Schneider
2006	J	`jnl`	Indefinite summation with unspecified summands. Discret. Math. Manuel Kauers, Carsten Schneider
2006	J	`jnl`	Problem 11258. Am. Math. Mon. Manuel Kauers
2006	J	`jnl`	Shift Equivalence of P-finite Sequences. Electron. J. Comb. Manuel Kauers
2006	J	`jnl`	SumCracker: A package for manipulating symbolic sums and related objects. J. Symb. Comput. Manuel Kauers
2005	B	`conf`	A procedure for proving special function inequalities involving a discrete parameter. ISSAC Stefan Gerhold, Manuel Kauers
2005	B	`ed.`	Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings ISSAC Manuel Kauers
2004	B	`conf`	Computer proofs for polynomial identities in arbitrary many variables. ISSAC Manuel Kauers
2004	J	`jnl`	Solving parametric linear systems: an experiment with constraint algebraic programming. SIGSAM Bull. Clemens Ballarin, Manuel Kauers
2003	J	`jnl`	Computing limits of sequences. SIGSAM Bull. Manuel Kauers
2002	A	`conf`	Interlingua based statistical machine translation. INTERSPEECH Manuel Kauers, Stephan Vogel, Christian Fügen, Alex Waibel