Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManuel Kauers
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j40]Shaoshi Chen, Lixin Du
, Manuel Kauers, Rong-Hua Wang:
Reduction-based creative telescoping for P-recursive sequences via integral bases. J. Symb. Comput. 126: 102341 (2025)- 2024
- [j39]Robert Dougherty-Bliss, Manuel Kauers:
Hardinian Arrays. Electron. J. Comb. 31(2) (2024) - [c46]Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li:
Parallel Summation in P-Recursive Extensions. ISSAC 2024: 82-90 - [c45]Manfred Buchacher, Manuel Kauers:
On the Problem of Separating Variables in Multivariate Polynomial Ideals. ISSAC 2024: 100-107 - [i57]Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li:
Towards a Parallel Summation Algorithm. CoRR abs/2402.04684 (2024) - [i56]Manfred Buchacher, Manuel Kauers:
On the Problem of Separating Variables in Multivariate Polynomial Ideals. CoRR abs/2405.19223 (2024) - 2023
- [j38]Maximilian Jaroschek, Manuel Kauers, Laura Kovács:
Lonely Points in Simplices. Discret. Comput. Geom. 69(1): 4-25 (2023) - [c44]Shaoshi Chen, Lixin Du, Manuel Kauers:
Hermite Reduction for D-finite Functions via Integral Bases. ISSAC 2023: 155-163 - [c43]Manuel Kauers, Christoph Koutschan, Thibaut Verron:
Transcendence Certificates for D-finite Functions. ISSAC 2023: 372-380 - [c42]Manuel Kauers, Jakob Moosbauer:
Flip Graphs for Matrix Multiplication. ISSAC 2023: 381-388 - [c41]Manuel Kauers, Philipp Nuspl, Veronika Pillwein:
Order bounds for C2-finite sequences. ISSAC 2023: 389-397 - [i55]Manuel Kauers, Philipp Nuspl, Veronika Pillwein:
Order bounds for C2-finite sequences. CoRR abs/2302.04070 (2023) - [i54]Shaoshi Chen, Lixin Du, Manuel Kauers:
Hermite Reduction for D-finite Functions via Integral Bases. CoRR abs/2302.04652 (2023) - [i53]Manuel Kauers, Christoph Koutschan, Thibaut Verron:
Transcendence Certificates for D-finite Functions. CoRR abs/2302.06396 (2023) - [i52]Manuel Kauers, Christoph Koutschan:
Some D-finite and some Possibly D-finite Sequences in the OEIS. CoRR abs/2303.02793 (2023) - [i51]Manuel Kauers, Jakob Moosbauer:
Some New Non-Commutative Matrix Multiplication Algorithms of Size (n, m, 6). CoRR abs/2306.00882 (2023) - [i50]Shaoshi Chen, Lixin Du, Manuel Kauers, Rong-Hua Wang:
Reduction-based Creative Telescoping for P-recursive Sequences via Integral Bases. CoRR abs/2311.05246 (2023) - 2022
- [c40]Manuel Kauers, Jakob Moosbauer:
A Normal Form for Matrix Multiplication Schemes. CAI 2022: 149-160 - [c39]Manuel Kauers, Christoph Koutschan:
Guessing with Little Data. ISSAC 2022: 83-90 - [c38]Hui Huang, Manuel Kauers, Gargi Mukherjee:
Order-Degree-Height Surfaces for Linear Operators. ISSAC 2022: 91-99 - [c37]Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl:
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. CICM 2022: 272-284 - [i49]Manuel Kauers, Christoph Koutschan:
Guessing with Little Data. CoRR abs/2202.07966 (2022) - [i48]Hui Huang, Manuel Kauers, Gargi Mukherjee:
Order-Degree-Height Surfaces for Linear Operators. CoRR abs/2205.06030 (2022) - [i47]Manuel Kauers, Jakob Moosbauer:
A Normal Form for Matrix Multiplication Schemes. CoRR abs/2206.00550 (2022) - [i46]Manuel Kauers, Jakob Moosbauer:
The FBHHRBNRSSSHK-Algorithm for Multiplication in $\mathbb{Z}_2^{5\times5}$ is still not the end of the story. CoRR abs/2210.04045 (2022) - [i45]Manuel Kauers, Jakob Moosbauer:
Flip Graphs for Matrix Multiplication. CoRR abs/2212.01175 (2022) - 2021
- [j37]Manuel Kauers, Alexey Ovchinnikov, Éric Schost:
Foreword. J. Symb. Comput. 102: 1-2 (2021) - [j36]Marijn J. H. Heule, Manuel Kauers, Martina Seidl:
New ways to multiply 3 × 3-matrices. J. Symb. Comput. 104: 899-916 (2021) - [c36]Shaoshi Chen, Lixin Du, Manuel Kauers:
Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions. ISSAC 2021: 75-82 - [i44]Shaoshi Chen, Lixin Du, Manuel Kauers:
Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions. CoRR abs/2102.06538 (2021) - 2020
- [j35]Daniela Kaufmann, Armin Biere, Manuel Kauers:
Incremental column-wise verification of arithmetic circuits using computer algebra. Formal Methods Syst. Des. 56(1): 22-54 (2020) - [j34]Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, Michael Wallner:
Asymptotic enumeration of compacted binary trees of bounded right height. J. Comb. Theory A 172: 105177 (2020) - [c35]Manuel Kauers, Jakob Moosbauer:
Good Pivots for Small Sparse Matrices. CASC 2020: 358-367 - [c34]Daniela Kaufmann, Armin Biere, Manuel Kauers:
From DRUP to PAC and Back. DATE 2020: 654-657 - [c33]Manfred Buchacher, Manuel Kauers, Gleb Pogudin:
Separating variables in bivariate polynomial ideals. ISSAC 2020: 54-61 - [c32]Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron:
Integral bases for p-recursive sequences. ISSAC 2020: 91-98 - [i43]Manfred Buchacher, Manuel Kauers, Gleb Pogudin:
Separating Variables in Bivariate Polynomial Ideals. CoRR abs/2002.01541 (2020) - [i42]Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron:
Integral P-Recursive Sequences. CoRR abs/2002.02783 (2020) - [i41]Manuel Kauers, Jakob Moosbauer:
Good pivots for small sparse matrices. CoRR abs/2006.01623 (2020)
2010 – 2019
- 2019
- [j33]Manuel Kauers, Marc Mezzarobba:
Multivariate ore polynomials in SageMath. ACM Commun. Comput. Algebra 53(2): 57-60 (2019) - [j32]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): 118-121 (2019) - [j31]Manuel Kauers, Thibaut Verron:
Why you should remove zeros from data before guessing. ACM Commun. Comput. Algebra 53(3): 126-129 (2019) - [j30]Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang:
Apparent singularities of D-finite systems. J. Symb. Comput. 95: 217-237 (2019) - [c31]Daniela Kaufmann, Armin Biere, Manuel Kauers:
Verifying Large Multipliers by Combining SAT and Computer Algebra. FMCAD 2019: 28-36 - [c30]Marijn J. H. Heule, Manuel Kauers, Martina Seidl:
Local Search for Fast Matrix Multiplication. SAT 2019: 155-163 - [c29]Daniela Ritirc, Armin Biere, Manuel Kauers:
SAT, Computer Algebra, Multipliers. Vampire 2019: 1-18 - [e6]James H. Davenport, Dongming Wang, Manuel Kauers, Russell J. Bradford:
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019. ACM 2019, ISBN 978-1-4503-6084-5 [contents] - [i40]Manuel Kauers, Martina Seidl, Doron Zeilberger:
On the maximal minimal cube lengths in distinct DNF tautologies. CoRR abs/1902.03431 (2019) - [i39]Marijn J. H. Heule, Manuel Kauers, Martina Seidl:
Local Search for Fast Matrix Multiplication. CoRR abs/1903.11391 (2019) - [i38]Maximilian Jaroschek, Manuel Kauers, Laura Kovács:
Lonely Points in Simplices. CoRR abs/1905.08747 (2019) - [i37]Marijn J. H. Heule, Manuel Kauers, Martina Seidl:
New ways to multiply 3 x 3-matrices. CoRR abs/1905.10192 (2019) - 2018
- [j29]Manuel Kauers, Martina Seidl:
Short proofs for some symmetric Quantified Boolean Formulas. Inf. Process. Lett. 140: 4-7 (2018) - [j28]Shaoshi Chen, Mark van Hoeij, Manuel Kauers, Christoph Koutschan:
Reduction-based creative telescoping for fuchsian D-finite functions. J. Symb. Comput. 85: 108-127 (2018) - [c28]Daniela Ritirc, Armin Biere, Manuel Kauers:
Improving and extending the algebraic approach for verifying gate-level multipliers. DATE 2018: 1556-1561 - [c27]Manuel Kauers, Martina Seidl:
Symmetries of Quantified Boolean Formulas. SAT 2018: 199-216 - [c26]Daniela Ritirc, Armin Biere, Manuel Kauers:
A Practical Polynomial Calculus for Arithmetic Circuit Verification. SC-Square@FLOC 2018: 61 - [e5]James H. Davenport, Manuel Kauers, George Labahn, Josef Urban:
Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. Lecture Notes in Computer Science 10931, Springer 2018, ISBN 978-3-319-96417-1 [contents] - [e4]Manuel Kauers, Alexey Ovchinnikov, Éric Schost:
Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018. ACM 2018 [contents] - [i36]Manuel Kauers, Martina Seidl:
Symmetries of Quantified Boolean Formulas. CoRR abs/1802.03993 (2018) - [i35]Manuel Kauers, Martina Seidl:
Short Proofs for Some Symmetric Quantified Boolean Formulas. CoRR abs/1804.01437 (2018) - [i34]Manuel Kauers, Doron Zeilberger:
A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics. CoRR abs/1805.09057 (2018) - 2017
- [j27]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: 242-275 (2017) - [j26]Manuel Kauers, Rong-Hua Wang:
Lattice walks in the octant with infinite associated groups. Electron. Notes Discret. Math. 61: 703-709 (2017) - [j25]Shaoshi Chen, Manuel Kauers:
Some open problems related to creative telescoping. J. Syst. Sci. Complex. 30(1): 154-172 (2017) - [c25]Daniela Ritirc, Armin Biere, Manuel Kauers:
Column-wise verification of multipliers using computer algebra. FMCAD 2017: 23-30 - [c24]Manuel Kauers, Gleb Pogudin:
Bounds for Substituting Algebraic Functions into D-finite Functions. ISSAC 2017: 245-252 - [c23]Armin Biere, Manuel Kauers, Daniela Ritirc:
Challenges in Verifying Arithmetic Circuits Using Computer Algebra. SYNASC 2017: 9-15 - [i33]Manuel Kauers, Gleb Pogudin:
Bounds for D-finite Substitution. CoRR abs/1701.07802 (2017) - [i32]Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, Michael Wallner:
Asymptotic Enumeration of Compacted Binary Trees. CoRR abs/1703.10031 (2017) - [i31]Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang:
Apparent Singularities of D-finite Systems. CoRR abs/1705.00838 (2017) - 2016
- [j24]Manuel Kauers, Peter Paule, Greg Reid:
Workshop on symbolic combinatorics and algorithmic differential algebra. ACM Commun. Comput. Algebra 50(1): 27-34 (2016) - [j23]Shaoshi Chen, Manuel Kauers, Michael F. Singer:
Desingularization of Ore operators. J. Symb. Comput. 74: 617-626 (2016) - [j22]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): 621-649 (2016) - [c22]Shaoshi Chen, Manuel Kauers, Christoph Koutschan:
Reduction-Based Creative Telescoping for Algebraic Functions. ISSAC 2016: 175-182 - [i30]Manuel Kauers, Doron Zeilberger:
Factorization of C-finite Sequences. CoRR abs/1601.02756 (2016) - [i29]Shaoshi Chen, Manuel Kauers, Christoph Koutschan:
Reduction-Based Creative Telescoping for Algebraic Functions. CoRR abs/1602.00424 (2016) - [i28]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 abs/1606.02982 (2016) - [i27]Shaoshi Chen, Manuel Kauers:
Some Open Problems related to Creative Telescoping. CoRR abs/1609.03768 (2016) - [i26]Hui Huang, Manuel Kauers:
D-finite Numbers. CoRR abs/1611.05901 (2016) - [i25]Shaoshi Chen, Mark van Hoeij, Manuel Kauers, Christoph Koutschan:
Reduction-Based Creative Telescoping for Fuchsian D-finite Functions. CoRR abs/1611.07421 (2016) - 2015
- [j21]Manuel Kauers, Lily Yen:
On the length of integers in telescopers for proper hypergeometric terms. J. Symb. Comput. 66: 21-33 (2015) - [c21]Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li:
A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. ISSAC 2015: 117-124 - [c20]Manuel Kauers, Christoph Koutschan:
Integral D-Finite Functions. ISSAC 2015: 251-258 - [c19]Manuel Kauers:
Creative Telescoping via Hermite Reduction. SYNASC 2015: 11 - [p2]Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson:
Ore Polynomials in Sage. Computer Algebra and Polynomials 2015: 105-125 - [i24]Manuel Kauers, Christoph Koutschan:
Integral D-Finite Functions. CoRR abs/1501.03691 (2015) - [i23]Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li:
An Improved Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. CoRR abs/1501.04668 (2015) - [i22]Michael Drmota, Manuel Kauers, Lukas Spiegelhofer:
On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t. CoRR abs/1509.08623 (2015) - 2014
- [c18]Shaoshi Chen, Manuel Kauers, Christoph Koutschan:
A generalized Apagodu-Zeilberger algorithm. ISSAC 2014: 107-114 - [c17]Manuel Kauers:
Bounds for D-finite closure properties. ISSAC 2014: 288-295 - [c16]Manuel Kauers, Ryan O'Donnell, Li-Yang Tan, Yuan Zhou:
Hypercontractive inequalities via SOS, and the Frankl-Rödl graph. SODA 2014: 1644-1658 - [i21]Shaoshi Chen, Manuel Kauers, Christoph Koutschan:
A Generalized Apagodu-Zeilberger Algorithm. CoRR abs/1402.2409 (2014) - [i20]Shaoshi Chen, Manuel Kauers, Michael F. Singer:
Desingularization of Ore Operators. CoRR abs/1408.5512 (2014) - [i19]Manuel Kauers:
Bounds for D-finite closure properties. CoRR abs/1408.5514 (2014) - 2013
- [c15]Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer:
Desingularization explains order-degree curves for ore operators. ISSAC 2013: 157-164 - [c14]Fredrik Johansson, Manuel Kauers, Marc Mezzarobba:
Finding hyperexponential solutions of linear ODEs by numerical evaluation. ISSAC 2013: 211-218 - [e3]Manuel Kauers:
International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013. ACM 2013, ISBN 978-1-4503-2059-7 [contents] - [i18]Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer:
Desingularization Explains Order-Degree Curves for Ore Operators. CoRR abs/1301.0917 (2013) - [i17]Fredrik Johansson, Manuel Kauers, Marc Mezzarobba:
Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation. CoRR abs/1301.2486 (2013) - [i16]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 abs/1305.4818 (2013) - [i15]Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson:
Ore Polynomials in Sage. CoRR abs/1306.4263 (2013) - [i14]Manuel Kauers, Lily Yen:
On the length of integers in telescopers for proper hypergeometric terms. CoRR abs/1311.3720 (2013) - 2012
- [j20]Shaoshi Chen, Manuel Kauers:
Trading order for degree in creative telescoping. J. Symb. Comput. 47(8): 968-995 (2012) - [c13]Shaoshi Chen, Manuel Kauers:
Order-degree curves for hypergeometric creative telescoping. ISSAC 2012: 122-129 - [c12]Shaoshi Chen, Manuel Kauers, Michael F. Singer:
Telescopers for rational and algebraic functions via residues. ISSAC 2012: 130-137 - [i13]Shaoshi Chen, Manuel Kauers, Michael F. Singer:
Telescopers for Rational and Algebraic Functions via Residues. CoRR abs/1201.1954 (2012) - [i12]Shaoshi Chen, Manuel Kauers:
Order-Degree Curves for Hypergeometric Creative Telescoping. CoRR abs/1201.1982 (2012) - [i11]Manuel Kauers, Ryan O'Donnell, Li-Yang Tan, Yuan Zhou:
Hypercontractive inequalities via SOS, with an application to Vertex-Cover. CoRR abs/1212.5324 (2012) - 2011
- [b1]Manuel Kauers, Peter Paule:
The Concrete Tetrahedron - Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates. Texts & Monographs in Symbolic Computation, Springer 2011, ISBN 978-3-7091-0444-6, pp. i-ix, 1-203 - [j19]Manuel Kauers, Doron Zeilberger:
The computational challenge of enumerating high-dimensional rook walks. Adv. Appl. Math. 47(4): 813-819 (2011) - [j18]Manuel Kauers, Christian Krattenthaler, Thomas W. Müller:
A Method for Determining the Mod-2k Behaviour of Recursive Sequences, with Applications to Subgroup Counting. Electron. J. Comb. 18(2): 37 (2011) - [j17]Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz:
Dominance in the family of Sugeno-Weber t-norms. Fuzzy Sets Syst. 181(1): 74-87 (2011) - [j16]Bruno Buchberger, Manuel Kauers:
Buchberger's algorithm. Scholarpedia 6(10): 7764 (2011) - [c11]Manuel Kauers:
The concrete tetrahedron. ISSAC 2011: 7-8 - [c10]Manuel Kauers, Carsten Schneider:
A refined denominator bounding algorithm for multivariate linear difference equations. ISSAC 2011: 201-208 - [i10]Manuel Kauers, Carsten Schneider:
A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations. CoRR abs/1101.2803 (2011) - [i9]Shaoshi Chen, Manuel Kauers:
Trading Order for Degree in Creative Telescoping. CoRR abs/1108.4508 (2011) - 2010
- [j15]Bruno Buchberger, Manuel Kauers:
Groebner basis. Scholarpedia 5(10): 7763 (2010) - [c9]Manuel Kauers, Veronika Pillwein:
When can we detect that a P-finite sequence is positive? ISSAC 2010: 195-201 - [c8]Manuel Kauers, Carsten Schneider:
Partial denominator bounds for partial linear difference equations. ISSAC 2010: 211-218 - [i8]Christoph Koutschan, Manuel Kauers, Doron Zeilberger:
Proof of George Andrews's and David Robbins's q-TSPP Conjecture. CoRR abs/1002.4384 (2010) - [i7]Manuel Kauers, Veronika Pillwein:
When can we decide that a P-finite sequence is positive? CoRR abs/1005.0600 (2010) - [i6]Manuel Kauers, Carsten Schneider:
Partial Denominator Bounds for Partial Linear Difference Equations. CoRR abs/1005.0602 (2010) - [i5]Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz:
Dominance in the family of Sugeno-Weber t-norms. CoRR abs/1007.5442 (2010)
2000 – 2009
- 2009
- [j14]