Manuel Kauers
#22,991
Most Influential Person Now
German mathematician
Manuel Kauers's AcademicInfluence.com Rankings
Manuel Kauersmathematics Degrees
Mathematics
#1118
World Rank
#1890
Historical Rank
Algebra
#58
World Rank
#102
Historical Rank
Measure Theory
#3588
World Rank
#4230
Historical Rank
Download Badge
Mathematics
Manuel Kauers's Degrees
- PhD Mathematics Johannes Kepler University Linz
Why Is Manuel Kauers Influential?
(Suggest an Edit or Addition)According to Wikipedia, Manuel Kauers is a German mathematician and computer scientist. He is working on computer algebra and its applications to discrete mathematics. He is currently professor for algebra at Johannes Kepler University in Linz, Austria, and leader of the Institute for Algebra at JKU. Before that, he was affiliated with that university's Research Institute for Symbolic Computation .
Manuel Kauers's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- The complete Generating Function for Gessel Walks is Algebraic (2009) (120)
- The concrete tetrahedron (2011) (111)
- The Concrete Tetrahedron - Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates (2011) (77)
- Automatic Classification of Restricted Lattice Walks (2008) (72)
- A Computer Proof of Moll’s Log-Concavity Conjecture (2007) (66)
- Proof of Ira Gessel's lattice path conjecture (2008) (64)
- Ore Polynomials in Sage (2013) (60)
- Determining the closed forms of the O(sS3) anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra (2009) (60)
- On 3-Dimensional Lattice Walks Confined to the Positive Octant (2014) (51)
- Verifying Large Multipliers by Combining SAT and Computer Algebra (2019) (50)
- Column-wise verification of multipliers using computer algebra (2017) (48)
- Computing the algebraic relations of C-finite sequences and multisequences (2008) (46)
- Formal Laurent series in several variables (2013) (46)
- Telescopers for rational and algebraic functions via residues (2012) (46)
- A non-holonomic systems approach to special function identities (2009) (45)
- The Holonomic Toolkit (2013) (44)
- A procedure for proving special function inequalities involving a discrete parameter (2005) (43)
- A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms (2015) (42)
- SumCracker: A package for manipulating symbolic sums and related objects (2006) (40)
- Hypergeometric expressions for generating functions of walks with small steps in the quarter plane (2016) (38)
- Proof of George Andrews’s and David Robbins’s q-TSPP conjecture (2010) (36)
- Desingularization explains order-degree curves for ore operators (2013) (35)
- Summation algorithms for Stirling number identities (2007) (35)
- Trading order for degree in creative telescoping (2011) (35)
- On Turán's inequality for Legendre polynomials (2007) (34)
- Order-degree curves for hypergeometric creative telescoping (2012) (33)
- Indefinite summation with unspecified summands (2006) (32)
- Reduction-Based Creative Telescoping for Algebraic Functions (2016) (32)
- Walks in the Quarter Plane with Multiple Steps (2014) (28)
- Reduction-Based Creative Telescoping for Fuchsian D-finite Functions (2016) (28)
- A Mathematica package for q-holonomic sequences and power series (2009) (27)
- Algorithms for Nonlinear Higher Order Di erence Equa-tions (2005) (26)
- Improving and extending the algebraic approach for verifying gate-level multipliers (2018) (26)
- Some open problems related to creative telescoping (2016) (25)
- HOW TO USE CYLINDRICAL ALGEBRAIC DECOMPOSITION (2011) (24)
- The quasi-holonomic ansatz and restricted lattice walks (2008) (24)
- Application of unspecified sequences in symbolic summation (2006) (23)
- Desingularization of Ore operators (2014) (23)
- Solving parametric linear systems: an experiment with constraint algebraic programming (2004) (22)
- A Proof of George Andrews' and David Robbins' $q$-TSPP Conjecture (2010) (21)
- Hypercontractive inequalities via SOS, and the Frankl-Rödl graph (2012) (21)
- When can we detect that a P-finite sequence is positive? (2010) (21)
- New ways to multiply 3 x 3-matrices (2019) (20)
- Groebner basis (2010) (20)
- A Method for Determining the Mod-2k Behaviour of Recursive Sequences, with Applications to Subgroup Counting (2011) (19)
- A COMPUTER PROOF OF TURÁN'S INEQUALITY (2005) (19)
- COMPUTER ALGEBRA AND POWER SERIES WITH POSITIVE COEFFICIENTS (2006) (19)
- A generalized Apagodu-Zeilberger algorithm (2014) (18)
- Fast Solvers for Dense Linear Systems (2008) (17)
- Symbolic summation with radical expressions (2007) (16)
- Dominance in the family of Sugeno-Weber t-norms (2010) (15)
- On a Conjecture of Cusick Concerning the Sum of Digits of n and n+t (2015) (13)
- The computational challenge of enumerating high-dimensional rook walks (2010) (13)
- Incremental column-wise verification of arithmetic circuits using computer algebra (2019) (13)
- A Practical Polynomial Calculus for Arithmetic Circuit Verification (2018) (13)
- Apparent Singularities of D-finite Systems (2017) (12)
- Local Search for Fast Matrix Multiplication (2019) (11)
- Integral D-Finite Functions (2015) (11)
- Arithmetic Verification Problems Submitted to the SAT Race 2019 (2019) (11)
- Computer Algebra and Power Series with Positive Coecien ts (2007) (10)
- Partial denominator bounds for partial linear difference equations (2010) (10)
- Automated Proofs for Some Stirling Number Identities (2008) (10)
- Computer proofs for polynomial identities in arbitrary many variables (2004) (10)
- From DRUP to PAC and Back (2020) (9)
- Integration of algebraic functions: a simple heuristic for finding the logarithmic part (2008) (9)
- Computer Algebra for Special Function Inequalities (9)
- Asymptotic enumeration of compacted binary trees of bounded right height (2017) (9)
- Interlingua based statistical machine translation (2002) (9)
- An algorithm for deciding zero equivalence of nested polynomially recurrent sequences (2007) (9)
- Inhomogeneous Restricted Lattice Walks (2018) (8)
- From Moments to Functions in Quantum Chromodynamics (2009) (8)
- Bounds for D-finite closure properties (2014) (8)
- Continued Classification of 3D Lattice Walks in the Positive Octant (2015) (8)
- A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations) (2008) (8)
- Symmetries of Quantified Boolean Formulas (2018) (7)
- On the length of integers in telescopers for proper hypergeometric terms (2013) (7)
- Mathematical Software – ICMS 2018 (2018) (6)
- A refined denominator bounding algorithm for multivariate linear difference equations (2011) (6)
- SAT, Computer Algebra, Multipliers (2020) (6)
- Experiments with a Positivity-Preserving Operator (2007) (6)
- Buchberger's algorithm (2011) (6)
- Short Proofs for Some Symmetric Quantified Boolean Formulas (2018) (6)
- Continued Classification of 3D Lattice Models in the Positive Octant (2016) (6)
- Challenges in Verifying Arithmetic Circuits Using Computer Algebra (2017) (5)
- Guessing with Little Data (2022) (5)
- Indefinite summation with unspecified sequences (2004) (4)
- Improved Abramov-Petkovšek's Reduction and Creative Telescoping for Hypergeometric Terms (2015) (4)
- Why you should remove zeros from data before guessing (2019) (4)
- Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings (2007) (4)
- Polynomial bivariate copulas of degree five: characterization and some particular inequalities (2021) (4)
- Finding hyperexponential solutions of linear ODEs by numerical evaluation (2013) (4)
- Multivariate ore polynomials in SageMath (2019) (4)
- Towards Mechanized Mathematical Assistants (2008) (4)
- Lattice walks in the octant with infinite associated groups (2017) (3)
- On a Conjectured Inequality for a Sum of Legendre Polynomials (2005) (3)
- Factorization of C-finite Sequences (2016) (2)
- Bounds for Substituting Algebraic Functions into D-finite Functions (2017) (2)
- ALGORITHMS FOR D-FINITE FUNCTIONS (2015) (2)
- Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker (2022) (2)
- The generating function of Kreweras walks with interacting boundaries is not algebraic. (2020) (2)
- Solving difference equations whose coefficients are not transcendental (2008) (2)
- D-finite Numbers (2016) (2)
- Algorithms in Symbolic Computation (2009) (2)
- Hypercontractive inequalities via SOS, with an application to Vertex-Cover (2012) (2)
- How does the Gerrymander Sequence Continue? (2022) (2)
- When can we decide that a P-finite sequence is positive? (2010) (2)
- THE GUESS-AND-PROVE PARADIGM IN ACTION (2018) (2)
- Asymptotic Enumeration of Compacted Binary Trees (2017) (2)
- Indenite Summation with Unspecied Summands (2006) (2)
- A Normal Form for Matrix Multiplication Schemes (2022) (2)
- Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference (2007) (2)
- Separating variables in bivariate polynomial ideals (2020) (1)
- The Orbit-Sum Method for Higher Order Equations (2022) (1)
- Quadrant Walks Starting Outside the Quadrant. (2020) (1)
- Counting Standard Young Tableaux With Restricted Runs (2020) (1)
- ISSAC '05 : July 24-27, 2005, Beijing, China : proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (2005) (1)
- A Simple Rederivation of Onsager’s Solution of the 2D Ising Model Using Experimental Mathematics (2018) (1)
- Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions (2021) (1)
- C-Finite Sequences (2011) (1)
- Good pivots for small sparse matrices (2020) (1)
- Integral bases for p-recursive sequences (2020) (0)
- Transcendence Certificates for D-finite Functions (2023) (0)
- PROOF OF A CONJECTURE OF GESSEL (2008) (0)
- Gröbner bases and applications (2018) (0)
- HOW TO PROVE GEORGE ANDREWS’ AND DAVE ROBBINS’ q-TSPP CONJECTURE (2009) (0)
- S C ] 1 F eb 2 01 6 Reduction-Based Creative Telescoping for Algebraic Functions (2018) (0)
- Holonomic Sequences and Power Series (2011) (0)
- Shift Equivalence of P-finite Sequences (2006) (0)
- Workshop on symbolic combinatorics and algorithmic differential algebra (2016) (0)
- Order bounds for C2-finite sequences (2023) (0)
- On the maximal minimal cube lengths in distinct DNF tautologies (2019) (0)
- Workshop on Symbolic Combinatorics and Algorithmic Differential Algebra (2016) (0)
- Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order (2013) (0)
- GuessMultRE : Multivariate Guessing Overview (2009) (0)
- A Simple Rederivation of Onsager’s Solution of the 2D Ising Model Using Experimental Mathematics (2018) (0)
- Formal Power Series (2011) (0)
- ISSAC'05 : proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, July 24-27, 2005, Beijing, China (2005) (0)
- ISSAC 2013 : June 26-29, Boston, USA : proceedings of the 38th International Symposium on Symbolic and Algebraic Computation (2013) (0)
- The FBHHRBNRSSSHK-Algorithm for Multiplication in $\mathbb{Z}_2^{5\times5}$ is still not the end of the story (2022) (0)
- Order-Degree-Height Surfaces for Linear Operators (2022) (0)
- Incremental column-wise verification of arithmetic circuits using computer algebra (2019) (0)
- Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings (2005) (0)
- On 3-Dimensional Lattice Walks Confined to the Positive Octant (2016) (0)
- Some open problems related to creative telescoping (2017) (0)
- Integral P-Recursive Sequences (2020) (0)
- Reduction-Based Creative Telescoping for (2016) (0)
- Walks with Small Steps in the 4D-Orthant (2020) (0)
- What ’ s New in Symbolic Summation (2012) (0)
- Computing limits of sequences (2003) (0)
- Order bounds for $C^2$-finite sequences (2023) (0)
- A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications (2019) (0)
- Lonely Points in Simplices (2019) (0)
- S C ] 2 M ay 2 01 7 Apparent Singularities of D-finite Systems (2018) (0)
- Computer Algebra , Multipliers ∗ (2020) (0)
- Creative Telescoping via Hermite Reduction (2015) (0)
- Bounds for D-finite Substitution (2017) (0)
- Foreword (2021) (0)
- Flip Graphs for Matrix Multiplication (2022) (0)
- RISC-Linz Research Institute for Symbolic Computation (2007) (0)
- OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas (2022) (0)
- Some D-finite and some Possibly D-finite Sequences in the OEIS (2023) (0)
- Hermite Reduction for D-finite Functions via Integral Bases (2023) (0)
- L O ] 1 2 Fe b 20 18 Symmetries of Quantified Boolean Formulas ⋆ (2018) (0)
- New Results - Computer Algebra (2008) (0)
This paper list is powered by the following services:
Other Resources About Manuel Kauers
What Schools Are Affiliated With Manuel Kauers?
Manuel Kauers is affiliated with the following schools:
