default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManuel Kauers
Person information
SPARQL queries 
🛈 Please note that only 66% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
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 - [i58]Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li:
Towards a Parallel Summation Algorithm. CoRR abs/2402.04684 (2024) - [i57]Manfred Buchacher, Manuel Kauers:
On the Problem of Separating Variables in Multivariate Polynomial Ideals. CoRR abs/2405.19223 (2024) - [i56]Clemens Hofstadler, Manuel Kauers, Martina Seidl:
Symmetries of Dependency Quantified Boolean Formulas. CoRR abs/2410.15848 (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]Johannes Blümlein, Manuel Kauers, Sebastian Klein, Carsten Schneider:
Determining the closed forms of the O(sS3) anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra. Comput. Phys. Commun. 180(11): 2143-2165 (2009) - [c7]Frédéric Chyzak, Manuel Kauers, Bruno Salvy:
A non-holonomic systems approach to special function identities. ISSAC 2009: 111-118 - [p1]Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler:
Algorithms in Symbolic Computation. Hagenberg Research 2009: 5-62 - [i4]Johannes Blümlein, Manuel Kauers, Sebastian Klein, Carsten Schneider:
Determining the closed forms of the $O(a_s^3)$ anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra. CoRR abs/0902.4091 (2009) - [i3]Johannes Blümlein, Manuel Kauers, Sebastian Klein, Carsten Schneider:
From Moments to Functions in Quantum Chromodynamics. CoRR abs/0902.4095 (2009) - [i2]Frédéric Chyzak, Manuel Kauers, Bruno Salvy:
A Non-Holonomic Systems Approach to Special Function Identities. CoRR abs/0904.2761 (2009) - [i1]Alin Bostan, Manuel Kauers:
The complete Generating Function for Gessel Walks is Algebraic. CoRR abs/0909.1965 (2009) - 2008
- [j13]Manuel Kauers, Carsten Schneider:
Automated Proofs for Some Stirling Number Identities. Electron. J. Comb. 15(1) (2008) - [j12]Manuel Kauers, Doron Zeilberger:
Experiments with a Positivity-Preserving Operator. Exp. Math. 17(3): 341-345 (2008) - [j11]Manuel Kauers, Burkhard Zimmermann:
Computing the algebraic relations of C-finite sequences and multisequences. J. Symb. Comput. 43(11): 787-803 (2008) - [j10]Manuel Kauers, Richard Stong:
A Telescoping Fibonacci Sum: 11258. Am. Math. Mon. 115(10): 949-950 (2008) - [j9]Manuel Kauers:
Solving difference equations whose coefficients are not transcendental. Theor. Comput. Sci. 401(1-3): 217-227 (2008) - [c6]Manuel Kauers:
Integration of algebraic functions: a simple heuristic for finding the logarithmic part. ISSAC 2008: 133-140 - 2007
- [j8]Manuel Kauers:
Summation algorithms for Stirling number identities. J. Symb. Comput. 42(10): 948-970 (2007) - [j7]Manuel Kauers:
An algorithm for deciding zero equivalence of nested polynomially recurrent sequences. ACM Trans. Algorithms 3(2): 18 (2007) - [c5]Manuel Kauers, Carsten Schneider:
Symbolic summation with radical expressions. ISSAC 2007: 219-226 - [e2]Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger:
Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings. Lecture Notes in Computer Science 4573, Springer 2007, ISBN 978-3-540-73083-5 [contents] - 2006
- [j6]Manuel Kauers:
Shift Equivalence of P-finite Sequences. Electron. J. Comb. 13(1) (2006) - [j5]Manuel Kauers, Carsten Schneider:
Indefinite summation with unspecified summands. Discret. Math. 306(17): 2073-2083 (2006) - [j4]Manuel Kauers:
SumCracker: A package for manipulating symbolic sums and related objects. J. Symb. Comput. 41(9): 1039-1057 (2006) - [j3]Manuel Kauers:
Problem 11258. Am. Math. Mon. 113(10): 939 (2006) - [c4]Manuel Kauers, Carsten Schneider:
Application of unspecified sequences in symbolic summation. ISSAC 2006: 177-183 - 2005
- [c3]Stefan Gerhold, Manuel Kauers:
A procedure for proving special function inequalities involving a discrete parameter. ISSAC 2005: 156-162 - [e1]Manuel Kauers:
Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings. ACM 2005, ISBN 1-59593-095-7 [contents] - 2004
- [j2]Clemens Ballarin, Manuel Kauers:
Solving parametric linear systems: an experiment with constraint algebraic programming. SIGSAM Bull. 38(2): 33-46 (2004) - [c2]Manuel Kauers:
Computer proofs for polynomial identities in arbitrary many variables. ISSAC 2004: 199-204 - 2003
- [j1]Manuel Kauers:
Computing limits of sequences. SIGSAM Bull. 37(3): 74-77 (2003) - 2002
- [c1]Manuel Kauers, Stephan Vogel, Christian Fügen, Alex Waibel:
Interlingua based statistical machine translation. INTERSPEECH 2002: 1909-1912
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-27 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
