Manuel Kauers

ORCID

Publication Activity (10 Years)

Years Active: 2002-2025
Publications (10 Years): 84

Top Venues

CoRR

ISSAC

J. Symb. Comput.

ACM Commun. Comput. Algebra

Publications

Shaoshi Chen, Lixin Du, Manuel Kauers, Rong-Hua Wang
Reduction-based creative telescoping for P-recursive sequences via integral bases. J. Symb. Comput. 126 (2025)
Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li
Parallel Summation in P-Recursive Extensions. ISSAC (2024)
Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li
Towards a Parallel Summation Algorithm. CoRR (2024)
Robert Dougherty-Bliss, Manuel Kauers
Hardinian Arrays. Electron. J. Comb. 31 (2) (2024)
Manfred Buchacher, Manuel Kauers
On the Problem of Separating Variables in Multivariate Polynomial Ideals. CoRR (2024)
Manfred Buchacher, Manuel Kauers
On the Problem of Separating Variables in Multivariate Polynomial Ideals. ISSAC (2024)
Manuel Kauers, Jakob Moosbauer
Flip Graphs for Matrix Multiplication. ISSAC (2023)
Shaoshi Chen, Lixin Du, Manuel Kauers
Hermite Reduction for D-finite Functions via Integral Bases. ISSAC (2023)
Shaoshi Chen, Lixin Du, Manuel Kauers, Rong-Hua Wang
Reduction-based Creative Telescoping for P-recursive Sequences via Integral Bases. CoRR (2023)
Manuel Kauers, Philipp Nuspl, Veronika Pillwein
-finite sequences. CoRR (2023)
Manuel Kauers, Christoph Koutschan
Some D-finite and some Possibly D-finite Sequences in the OEIS. CoRR (2023)
Maximilian Jaroschek, Manuel Kauers, Laura Kovács
Lonely Points in Simplices. Discret. Comput. Geom. 69 (1) (2023)
Shaoshi Chen, Lixin Du, Manuel Kauers
Hermite Reduction for D-finite Functions via Integral Bases. CoRR (2023)
Manuel Kauers, Christoph Koutschan, Thibaut Verron
Transcendence Certificates for D-finite Functions. ISSAC (2023)
Manuel Kauers, Christoph Koutschan, Thibaut Verron
Transcendence Certificates for D-finite Functions. CoRR (2023)
Manuel Kauers, Jakob Moosbauer
Some New Non-Commutative Matrix Multiplication Algorithms of Size (n, m, 6). CoRR (2023)
Manuel Kauers, Philipp Nuspl, Veronika Pillwein
Order bounds for C2-finite sequences. ISSAC (2023)
Manuel Kauers, Christoph Koutschan
Guessing with Little Data. CoRR (2022)
Manuel Kauers, Jakob Moosbauer
Flip Graphs for Matrix Multiplication. CoRR (2022)
Manuel Kauers, Jakob Moosbauer
The FBHHRBNRSSSHK-Algorithm for Multiplication in $\mathbb{Z}_2^{5\times5}$ is still not the end of the story. CoRR (2022)
Hui Huang, Manuel Kauers, Gargi Mukherjee
Order-Degree-Height Surfaces for Linear Operators. ISSAC (2022)
Hui Huang, Manuel Kauers, Gargi Mukherjee
Order-Degree-Height Surfaces for Linear Operators. CoRR (2022)
Manuel Kauers, Christoph Koutschan
Guessing with Little Data. ISSAC (2022)
Manuel Kauers, Jakob Moosbauer
A Normal Form for Matrix Multiplication Schemes. CAI (2022)
Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. CICM (2022)
Manuel Kauers, Jakob Moosbauer
A Normal Form for Matrix Multiplication Schemes. CoRR (2022)
Shaoshi Chen, Lixin Du, Manuel Kauers
Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions. ISSAC (2021)
Marijn J. H. Heule, Manuel Kauers, Martina Seidl
New ways to multiply 3 × 3-matrices. J. Symb. Comput. 104 (2021)
Shaoshi Chen, Lixin Du, Manuel Kauers
Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions. CoRR (2021)
Manuel Kauers, Alexey Ovchinnikov, Éric Schost
Foreword. J. Symb. Comput. 102 (2021)
Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron
Integral P-Recursive Sequences. CoRR (2020)
Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron
Integral bases for p-recursive sequences. ISSAC (2020)
Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, Michael Wallner
Asymptotic enumeration of compacted binary trees of bounded right height. J. Comb. Theory, Ser. A 172 (2020)
Manuel Kauers, Jakob Moosbauer
Good Pivots for Small Sparse Matrices. CASC (2020)
Manuel Kauers, Jakob Moosbauer
Good pivots for small sparse matrices. CoRR (2020)
Daniela Kaufmann, Armin Biere, Manuel Kauers
Incremental column-wise verification of arithmetic circuits using computer algebra. Formal Methods Syst. Des. 56 (1) (2020)
Manfred Buchacher, Manuel Kauers, Gleb Pogudin
Separating variables in bivariate polynomial ideals. ISSAC (2020)
Manfred Buchacher, Manuel Kauers, Gleb Pogudin
Separating Variables in Bivariate Polynomial Ideals. CoRR (2020)
Daniela Kaufmann, Armin Biere, Manuel Kauers
From DRUP to PAC and Back. DATE (2020)
Marijn J. H. Heule, Manuel Kauers, Martina Seidl
Local Search for Fast Matrix Multiplication. CoRR (2019)
Maximilian Jaroschek, Manuel Kauers, Laura Kovács
Lonely Points in Simplices. CoRR (2019)
Manuel Kauers, Martina Seidl, Doron Zeilberger
On the maximal minimal cube lengths in distinct DNF tautologies. CoRR (2019)
Marijn J. H. Heule, Manuel Kauers, Martina Seidl
New ways to multiply 3 x 3-matrices. CoRR (2019)
Daniela Ritirc, Armin Biere, Manuel Kauers
SAT, Computer Algebra, Multipliers. Vampire (2019)
Daniela Kaufmann, Armin Biere, Manuel Kauers
Verifying Large Multipliers by Combining SAT and Computer Algebra. FMCAD (2019)
Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang
Apparent singularities of D-finite systems. J. Symb. Comput. 95 (2019)
Marijn J. H. Heule, Manuel Kauers, Martina Seidl
Local Search for Fast Matrix Multiplication. SAT (2019)
Manuel Kauers, Thibaut Verron
Why you should remove zeros from data before guessing. ACM Commun. Comput. Algebra 53 (3) (2019)
Marijn Heule, Manuel Kauers, Martina Seidl
A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications. ACM Commun. Comput. Algebra 53 (3) (2019)
Manuel Kauers, Marc Mezzarobba
Multivariate ore polynomials in SageMath. ACM Commun. Comput. Algebra 53 (2) (2019)
Manuel Kauers, Martina Seidl
Short proofs for some symmetric Quantified Boolean Formulas. Inf. Process. Lett. 140 (2018)
Manuel Kauers, Martina Seidl
Symmetries of Quantified Boolean Formulas. SAT (2018)
Manuel Kauers, Martina Seidl
Short Proofs for Some Symmetric Quantified Boolean Formulas. CoRR (2018)
Daniela Ritirc, Armin Biere, Manuel Kauers
A Practical Polynomial Calculus for Arithmetic Circuit Verification. SC-Square@FLOC (2018)
Manuel Kauers, Doron Zeilberger
A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics. CoRR (2018)
Daniela Ritirc, Armin Biere, Manuel Kauers
Improving and extending the algebraic approach for verifying gate-level multipliers. DATE (2018)
Shaoshi Chen, Mark van Hoeij, Manuel Kauers, Christoph Koutschan
Reduction-based creative telescoping for fuchsian D-finite functions. J. Symb. Comput. 85 (2018)
Manuel Kauers, Martina Seidl
Symmetries of Quantified Boolean Formulas. CoRR (2018)
Armin Biere, Manuel Kauers, Daniela Ritirc
Challenges in Verifying Arithmetic Circuits Using Computer Algebra. SYNASC (2017)
Daniela Ritirc, Armin Biere, Manuel Kauers
Column-wise verification of multipliers using computer algebra. FMCAD (2017)
Alin Bostan, Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech
Hypergeometric expressions for generating functions of walks with small steps in the quarter plane. Eur. J. Comb. 61 (2017)
Manuel Kauers, Gleb Pogudin
Bounds for Substituting Algebraic Functions into D-finite Functions. ISSAC (2017)
Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, Michael Wallner
Asymptotic Enumeration of Compacted Binary Trees. CoRR (2017)
Manuel Kauers, Gleb Pogudin
Bounds for D-finite Substitution. CoRR (2017)
Shaoshi Chen, Manuel Kauers
Some open problems related to creative telescoping. J. Syst. Sci. Complex. 30 (1) (2017)
Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang
Apparent Singularities of D-finite Systems. CoRR (2017)
Manuel Kauers, Rong-Hua Wang
Lattice walks in the octant with infinite associated groups. Electron. Notes Discret. Math. 61 (2017)
Shaoshi Chen, Manuel Kauers, Michael F. Singer
Desingularization of Ore operators. J. Symb. Comput. 74 (2016)
Michael Drmota, Manuel Kauers, Lukas Spiegelhofer
On a Conjecture of Cusick Concerning the Sum of Digits of n and n+t. SIAM J. Discret. Math. 30 (2) (2016)
Manuel Kauers, Doron Zeilberger
Factorization of C-finite Sequences. CoRR (2016)
Shaoshi Chen, Manuel Kauers
Some Open Problems related to Creative Telescoping. CoRR (2016)
Alin Bostan, Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech
Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane. CoRR (2016)
Shaoshi Chen, Manuel Kauers, Christoph Koutschan
Reduction-Based Creative Telescoping for Algebraic Functions. CoRR (2016)
Shaoshi Chen, Mark van Hoeij, Manuel Kauers, Christoph Koutschan
Reduction-Based Creative Telescoping for Fuchsian D-finite Functions. CoRR (2016)
Manuel Kauers, Peter Paule, Greg Reid
Workshop on symbolic combinatorics and algorithmic differential algebra. ACM Commun. Comput. Algebra 50 (1) (2016)
Shaoshi Chen, Manuel Kauers, Christoph Koutschan
Reduction-Based Creative Telescoping for Algebraic Functions. ISSAC (2016)
Hui Huang, Manuel Kauers
D-finite Numbers. CoRR (2016)
Manuel Kauers, Christoph Koutschan
Integral D-Finite Functions. ISSAC (2015)
Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li
A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. ISSAC (2015)
Manuel Kauers
Creative Telescoping via Hermite Reduction. SYNASC (2015)
Manuel Kauers, Christoph Koutschan
Integral D-Finite Functions. CoRR (2015)
Manuel Kauers, Lily Yen
On the length of integers in telescopers for proper hypergeometric terms. J. Symb. Comput. 66 (2015)
Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li
An Improved Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. CoRR (2015)
Michael Drmota, Manuel Kauers, Lukas Spiegelhofer
On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t. CoRR (2015)
Manuel Kauers
Bounds for D-finite closure properties. CoRR (2014)
Shaoshi Chen, Manuel Kauers, Michael F. Singer
Desingularization of Ore Operators. CoRR (2014)
Manuel Kauers
Bounds for D-finite closure properties. ISSAC (2014)
Shaoshi Chen, Manuel Kauers, Christoph Koutschan
A generalized Apagodu-Zeilberger algorithm. ISSAC (2014)
Shaoshi Chen, Manuel Kauers, Christoph Koutschan
A Generalized Apagodu-Zeilberger Algorithm. CoRR (2014)
Manuel Kauers, Ryan O'Donnell, Li-Yang Tan, Yuan Zhou
Hypercontractive inequalities via SOS, and the Frankl-Rödl graph. SODA (2014)
Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer
Desingularization explains order-degree curves for ore operators. ISSAC (2013)
Stefan Gerhold, Manuel Kauers, Christoph Koutschan, Peter Paule, Carsten Schneider, Burkhard Zimmermann
Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order CoRR (2013)
Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer
Desingularization Explains Order-Degree Curves for Ore Operators CoRR (2013)
Fredrik Johansson, Manuel Kauers, Marc Mezzarobba
Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation CoRR (2013)
Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson
Ore Polynomials in Sage. CoRR (2013)
Fredrik Johansson, Manuel Kauers, Marc Mezzarobba
Finding hyperexponential solutions of linear ODEs by numerical evaluation. ISSAC (2013)
Manuel Kauers, Lily Yen
On the length of integers in telescopers for proper hypergeometric terms. CoRR (2013)
Manuel Kauers, Ryan O'Donnell, Li-Yang Tan, Yuan Zhou
Hypercontractive inequalities via SOS, with an application to Vertex-Cover CoRR (2012)
Shaoshi Chen, Manuel Kauers, Michael F. Singer
Telescopers for rational and algebraic functions via residues. ISSAC (2012)
Shaoshi Chen, Manuel Kauers
Trading order for degree in creative telescoping. J. Symb. Comput. 47 (8) (2012)

Manuel Kauers.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manuel Kauers