|
+
PDF
Chat
|
Flip Graphs for Polynomial Multiplication
|
2025
|
Shaoshi Chen
Manuel Kauers
|
|
+
PDF
Chat
|
Symmetries of Dependency Quantified Boolean Formulas
|
2024
|
Clemens Hofstadler
Manuel Kauers
Martina Seidl
|
|
+
PDF
Chat
|
The $O(1/n^{85})$ Asymptotic expansion of OEIS sequence A85
|
2024
|
Shalosh B. Ekhad
Manuel Kauers
Doron Zeilberger
|
|
+
PDF
Chat
|
On the Problem of Separating Variables in Multivariate Polynomial Ideals
|
2024
|
Manfred Buchacher
Manuel Kauers
|
|
+
PDF
Chat
|
Parallel Summation in P-Recursive Extensions
|
2024
|
Shaoshi Chen
Ruyong Feng
Manuel Kauers
Xiuyun Li
|
|
+
|
Reduction-based creative telescoping for P-recursive sequences via integral bases
|
2024
|
Shaoshi Chen
L. Du
Manuel Kauers
Rong-Hua Wang
|
|
+
PDF
Chat
|
On the Problem of Separating Variables in Multivariate Polynomial Ideals
|
2024
|
Manfred Buchacher
Manuel Kauers
|
|
+
|
Some New Non-Commutative Matrix Multiplication Algorithms of Size ( <i>n, m</i> , 6)
|
2024
|
Manuel Kauers
Jakob Moosbauer
|
|
+
PDF
Chat
|
Towards a Parallel Summation Algorithm
|
2024
|
Shaoshi Chen
Ruyong Feng
Manuel Kauers
Xiuyun Li
|
|
+
|
Order bounds for C2-finite sequences
|
2023
|
Manuel Kauers
Philipp Nuspl
Veronika Pillwein
|
|
+
PDF
Chat
|
Flip Graphs for Matrix Multiplication
|
2023
|
Manuel Kauers
Jakob Moosbauer
|
|
+
|
Hermite Reduction for D-finite Functions via Integral Bases
|
2023
|
Shaoshi Chen
L. Du
Manuel Kauers
|
|
+
|
Transcendence Certificates for D-finite Functions
|
2023
|
Manuel Kauers
Christoph Koutschan
Thibaut Verron
|
|
+
|
Order bounds for $C^2$-finite sequences
|
2023
|
Manuel Kauers
Philipp Nuspl
Veronika Pillwein
|
|
+
|
Hermite Reduction for D-finite Functions via Integral Bases
|
2023
|
Shaoshi Chen
Lixin Du
Manuel Kauers
|
|
+
|
Transcendence Certificates for D-finite Functions
|
2023
|
Manuel Kauers
Christoph Koutschan
Thibaut Verron
|
|
+
|
Some D-finite and Some Possibly D-finite Sequences in the OEIS
|
2023
|
Manuel Kauers
Christoph Koutschan
|
|
+
|
Some New Non-Commutative Matrix Multiplication Algorithms of Size $(n,m,6)$
|
2023
|
Manuel Kauers
Jakob Moosbauer
|
|
+
|
Hardinian Arrays
|
2023
|
Robert Dougherty-Bliss
Manuel Kauers
|
|
+
|
Background and Fundamental Concepts
|
2023
|
Manuel Kauers
|
|
+
|
The Differential Case in One Variable
|
2023
|
Manuel Kauers
|
|
+
|
Summation and Integration
|
2023
|
Manuel Kauers
|
|
+
|
Reduction-based Creative Telescoping for P-recursive Sequences via Integral Bases
|
2023
|
Shaoshi Chen
Lixin Du
Manuel Kauers
Ronghua Wang
|
|
+
PDF
Chat
|
Lonely Points in Simplices
|
2022
|
Maximilian Jaroschek
Manuel Kauers
Laura Kovács
|
|
+
|
Order-Degree-Height Surfaces for Linear Operators
|
2022
|
Hui Huang
Manuel Kauers
Gargi Mukherjee
|
|
+
|
Guessing with Little Data
|
2022
|
Manuel Kauers
Christoph Koutschan
|
|
+
|
A Normal Form for Matrix Multiplication Schemes
|
2022
|
Manuel Kauers
Jakob Moosbauer
|
|
+
|
How does the Gerrymander Sequence Continue?
|
2022
|
Manuel Kauers
Christoph Koutschan
George Spahn
|
|
+
|
The FBHHRBNRSSSHK-Algorithm for Multiplication in $\mathbb{Z}_2^{5\times5}$ is still not the end of the story
|
2022
|
Manuel Kauers
Jakob Moosbauer
|
|
+
|
Order-Degree-Height Surfaces for Linear Operators
|
2022
|
Hui Huang
Manuel Kauers
Gargi Mukherjee
|
|
+
|
Flip Graphs for Matrix Multiplication
|
2022
|
Manuel Kauers
Jakob Moosbauer
|
|
+
PDF
Chat
|
A Normal Form for Matrix Multiplication Schemes
|
2022
|
Manuel Kauers
Jakob Moosbauer
|
|
+
|
The Orbit-Sum Method for Higher Order Equations
|
2022
|
Manfred Buchacher
Manuel Kauers
|
|
+
|
Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions
|
2021
|
Shaoshi Chen
Lixin Du
Manuel Kauers
|
|
+
PDF
Chat
|
Walks with Small Steps in the 4D-Orthant
|
2021
|
Manfred Buchacher
Sophie Hofmanninger
Manuel Kauers
|
|
+
|
Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions
|
2021
|
Shaoshi Chen
Lixin Du
Manuel Kauers
|
|
+
PDF
Chat
|
Polynomial bivariate copulas of degree five: characterization and some particular inequalities
|
2021
|
Adam Šeliga
Manuel Kauers
Susanne Saminger‐Platz
Radko Mesiar
Anna Kolesárová
Erich Peter Klement
|
|
+
PDF
Chat
|
New ways to multiply 3 × 3-matrices
|
2020
|
Marijn J. H. Heule
Manuel Kauers
Martina Seidl
|
|
+
|
Separating variables in bivariate polynomial ideals
|
2020
|
Manfred Buchacher
Manuel Kauers
Gleb Pogudin
|
|
+
|
Integral bases for p-recursive sequences
|
2020
|
Shaoshi Chen
Lixin Du
Manuel Kauers
Thibaut Verron
|
|
+
|
Good pivots for small sparse matrices
|
2020
|
Manuel Kauers
Jakob Moosbauer
|
|
+
|
Walks with Small Steps in the 4D-Orthant.
|
2020
|
Manfred Buchacher
Sophie Hofmanninger
Manuel Kauers
|
|
+
PDF
Chat
|
Continued Classification of 3D Lattice Models in the Positive Octant
|
2020
|
Axel Bacher
Manuel Kauers
Rika Yatchak
|
|
+
|
Separating Variables in Bivariate Polynomial Ideals
|
2020
|
Manfred Buchacher
Manuel Kauers
Gleb Pogudin
|
|
+
|
Integral P-Recursive Sequences
|
2020
|
Shaoshi Chen
Lixin Du
Manuel Kauers
Thibaut Verron
|
|
+
|
Counting Standard Young Tableaux With Restricted Runs
|
2020
|
Manuel Kauers
Doron Zeilberger
|
|
+
PDF
Chat
|
Good Pivots for Small Sparse Matrices
|
2020
|
Manuel Kauers
Jakob Moosbauer
|
|
+
|
The generating function of Kreweras walks with interacting boundaries is not algebraic
|
2020
|
Alin Bostan
Manuel Kauers
Thibaut Verron
|
|
+
|
Quadrant Walks Starting Outside the Quadrant
|
2020
|
Manfred Buchacher
Manuel Kauers
Amélie Trotignon
|
|
+
|
Walks with Small Steps in the 4D-Orthant
|
2020
|
Manfred Buchacher
Sophie Hofmanninger
Manuel Kauers
|
|
+
|
Separating Variables in Bivariate Polynomial Ideals
|
2020
|
Manfred Buchacher
Manuel Kauers
Gleb Pogudin
|
|
+
|
Asymptotic enumeration of compacted binary trees of bounded right height
|
2019
|
Antoine Genitrini
Bernhard Gittenberger
Manuel Kauers
Michael Wallner
|
|
+
|
A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications
|
2019
|
Marijn J. H. Heule
Manuel Kauers
Martina Seidl
|
|
+
PDF
Chat
|
Multivariate ore polynomials in SageMath
|
2019
|
Manuel Kauers
Marc Mezzarobba
|
|
+
|
New ways to multiply 3 x 3-matrices.
|
2019
|
Marijn J. H. Heule
Manuel Kauers
Martina Seidl
|
|
+
|
Local Search for Fast Matrix Multiplication
|
2019
|
Marijn J. H. Heule
Manuel Kauers
Martina Seidl
|
|
+
|
Apparent singularities of D-finite systems
|
2019
|
Shaoshi Chen
Manuel Kauers
Ziming Li
Yi Zhang
|
|
+
|
On the maximal minimal cube lengths in distinct DNF tautologies.
|
2019
|
Manuel Kauers
Martina Seidl
Doron Zeilberger
|
|
+
PDF
Chat
|
Local Search for Fast Matrix Multiplication
|
2019
|
Marijn J. H. Heule
Manuel Kauers
Martina Seidl
|
|
+
|
Local Search for Fast Matrix Multiplication
|
2019
|
Marijn J. H. Heule
Manuel Kauers
Martina Seidl
|
|
+
|
New ways to multiply 3 x 3-matrices
|
2019
|
Marijn J. H. Heule
Manuel Kauers
Martina Seidl
|
|
+
|
Lonely Points in Simplices
|
2019
|
Maximilian Jaroschek
Manuel Kauers
Laura Kovács
|
|
+
|
On the maximal minimal cube lengths in distinct DNF tautologies
|
2019
|
Manuel Kauers
Martina Seidl
Doron Zeilberger
|
|
+
|
Inhomogeneous Restricted Lattice Walks
|
2018
|
Manfred Buchacher
Manuel Kauers
|
|
+
PDF
Chat
|
A Simple Rederivation of Onsager’s Solution of the 2D Ising Model Using Experimental Mathematics
|
2018
|
Manuel Kauers
Doron Zeilberger
|
|
+
PDF
Chat
|
Short proofs for some symmetric Quantified Boolean Formulas
|
2018
|
Manuel Kauers
Martina Seidl
|
|
+
|
A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics
|
2018
|
Manuel Kauers
Doron Zeilberger
|
|
+
|
Short Proofs for Some Symmetric Quantified Boolean Formulas
|
2018
|
Manuel Kauers
Martina Seidl
|
|
+
PDF
Chat
|
D-finite numbers
|
2018
|
Hui Huang
Manuel Kauers
|
|
+
|
Symmetries of Quantified Boolean Formulas
|
2018
|
Manuel Kauers
Martina Seidl
|
|
+
PDF
Chat
|
Factorization of C-Finite Sequences
|
2018
|
Manuel Kauers
Doron Zeilberger
|
|
+
PDF
Chat
|
Symmetries of Quantified Boolean Formulas
|
2018
|
Manuel Kauers
Martina Seidl
|
|
+
|
Inhomogeneous Restricted Lattice Walks
|
2018
|
Manfred Buchacher
Manuel Kauers
|
|
+
|
A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics
|
2018
|
Manuel Kauers
Doron Zeilberger
|
|
+
|
Short Proofs for Some Symmetric Quantified Boolean Formulas
|
2018
|
Manuel Kauers
Martina Seidl
|
|
+
|
Symmetries of Quantified Boolean Formulas
|
2018
|
Manuel Kauers
Martina Seidl
|
|
+
PDF
Chat
|
Lattice walks in the octant with infinite associated groups
|
2017
|
Manuel Kauers
Ronghua Wang
|
|
+
PDF
Chat
|
Bounds for Substituting Algebraic Functions into D-finite Functions
|
2017
|
Manuel Kauers
Gleb Pogudin
|
|
+
PDF
Chat
|
Reduction-based creative telescoping for fuchsian D-finite functions
|
2017
|
Shaoshi Chen
Mark van Hoeij
Manuel Kauers
Christoph Koutschan
|
|
+
|
Asymptotic Enumeration of Compacted Binary Trees.
|
2017
|
Antoine Genitrini
Bernhard Gittenberger
Manuel Kauers
Michael Wallner
|
|
+
PDF
Chat
|
Some open problems related to creative telescoping
|
2017
|
Shaoshi Chen
Manuel Kauers
|
|
+
|
Bounds for D-finite Substitution.
|
2017
|
Manuel Kauers
Gleb Pogudin
|
|
+
|
Bounds for Substituting Algebraic Functions into D-finite Functions
|
2017
|
Manuel Kauers
Gleb Pogudin
|
|
+
|
Apparent Singularities of D-finite Systems
|
2017
|
Shaoshi Chen
Manuel Kauers
Ziming Li
Yi Zhang
|
|
+
|
Lattice Walks in the Octant with Infinite Associated Groups
|
2017
|
Manuel Kauers
Ronghua Wang
|
|
+
|
Bounds for Substituting Algebraic Functions into D-finite Functions
|
2017
|
Manuel Kauers
Gleb Pogudin
|
|
+
|
Hypergeometric expressions for generating functions of walks with small steps in the quarter plane
|
2016
|
Alin Bostan
Frédéric Chyzak
Mark van Hoeij
Manuel Kauers
Lucien Pech
|
|
+
PDF
Chat
|
On 3-Dimensional Lattice Walks Confined to the Positive Octant
|
2016
|
Alin Bostan
Mireille Bousquet‐Mélou
Manuel Kauers
Stephen Melczer
|
|
+
PDF
Chat
|
Reduction-Based Creative Telescoping for Algebraic Functions
|
2016
|
Shaoshi Chen
Manuel Kauers
Christoph Koutschan
|
|
+
|
Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane
|
2016
|
Alin Bostan
Frédéric Chyzak
Mark van Hoeij
Manuel Kauers
Lucien Pech
|
|
+
PDF
Chat
|
Hypercontractive inequalities via SOS, and the Frankl--Rödl graph
|
2016
|
Li-Yang Tan
Yuan Zhou
Ryan O’Donnell
Manuel Kauers
|
|
+
|
Factorization of C-finite Sequences
|
2016
|
Manuel Kauers
Doron Zeilberger
|
|
+
|
Reduction-Based Creative Telescoping for Fuchsian D-finite Functions
|
2016
|
Shaoshi Chen
Mark van Hoeij
Manuel Kauers
Christoph Koutschan
|
|
+
|
Reduction-Based Creative Telescoping for Algebraic Functions
|
2016
|
Shaoshi Chen
Manuel Kauers
Christoph Koutschan
|
|
+
PDF
Chat
|
On a Conjecture of Cusick Concerning the Sum of Digits of $n$ and $n+t$
|
2016
|
Michael Drmota
Manuel Kauers
Lukas Spiegelhofer
|
|
+
|
Some Open Problems related to Creative Telescoping
|
2016
|
Shaoshi Chen
Manuel Kauers
|
|
+
|
Factorization of C-finite Sequences
|
2016
|
Manuel Kauers
Doron Zeilberger
|
|
+
|
Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane
|
2016
|
Alin Bostan
Frédéric Chyzak
Mark van Hoeij
Manuel Kauers
Lucien Pech
|
|
+
|
Desingularization of Ore operators
|
2015
|
Shaoshi Chen
Manuel Kauers
Michael F. Singer
|
|
+
|
On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t
|
2015
|
Michael Drmota
Manuel Kauers
Lukas Spiegelhofer
|
|
+
PDF
Chat
|
Integral D-Finite Functions
|
2015
|
Manuel Kauers
Christoph Koutschan
|
|
+
PDF
Chat
|
A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms
|
2015
|
Shaoshi Chen
Hui Huang
Manuel Kauers
Ziming Li
|
|
+
|
A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms
|
2015
|
Shaoshi Chen
Hui Huang
Manuel Kauers
Ziming Li
|
|
+
|
Continued Classification of 3D Lattice Walks in the Positive Octant
|
2015
|
Axel Bacher
Manuel Kauers
Rika Yatchak
|
|
+
PDF
Chat
|
Walks in the Quarter Plane with Multiple Steps
|
2015
|
Manuel Kauers
Rika Yatchak
|
|
+
|
On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t
|
2015
|
Michael Drmota
Manuel Kauers
Lukas Spiegelhofer
|
|
+
|
Walks in the Quarter Plane with Multiple Steps
|
2014
|
Manuel Kauers
Rika Yatchak
|
|
+
|
On 3-dimensional lattice walks confined to the positive octant
|
2014
|
Alin Bostan
Mireille Bousquet‐Mélou
Manuel Kauers
Stephen Melczer
|
|
+
|
Bounds for D-finite closure properties
|
2014
|
Manuel Kauers
|
|
+
PDF
Chat
|
Bounds for D-finite closure properties
|
2014
|
Manuel Kauers
|
|
+
PDF
Chat
|
A generalized Apagodu-Zeilberger algorithm
|
2014
|
Shaoshi Chen
Manuel Kauers
Christoph Koutschan
|
|
+
PDF
Chat
|
On the length of integers in telescopers for proper hypergeometric terms
|
2014
|
Manuel Kauers
Lily Yen
|
|
+
|
Hypercontractive inequalities via SOS, and the Frankl-Rödl graph
|
2014
|
Manuel Kauers
Ryan O’Donnell
Li-Yang Tan
Yuan Zhou
|
|
+
|
Desingularization of Ore Operators
|
2014
|
Shaoshi Chen
Manuel Kauers
Michael F. Singer
|
|
+
|
Walks in the Quarter Plane with Multiple Steps
|
2014
|
Manuel Kauers
Rika Yatchak
|
|
+
|
On 3-dimensional lattice walks confined to the positive octant
|
2014
|
Alin Bostan
Mireille Bousquet‐Mélou
Manuel Kauers
Stephen Melczer
|
|
+
|
Bounds for D-finite closure properties
|
2014
|
Manuel Kauers
|
|
+
PDF
Chat
|
Hypercontractive inequalities via SOS, and the Frankl–Rödl graph
|
2013
|
Manuel Kauers
Ryan O’Donnell
Li-Yang Tan
Yuan Zhou
|
|
+
|
On the length of integers in telescopers for proper hypergeometric terms
|
2013
|
Manuel Kauers
Lily Yen
|
|
+
PDF
Chat
|
Desingularization explains order-degree curves for ore operators
|
2013
|
Shaoshi Chen
Maximilian Jaroschek
Manuel Kauers
Michael F. Singer
|
|
+
PDF
Chat
|
Finding hyperexponential solutions of linear ODEs by numerical evaluation
|
2013
|
Fredrik Johansson
Manuel Kauers
Marc Mezzarobba
|
|
+
|
Ore Polynomials in Sage
|
2013
|
Manuel Kauers
Maximilian Jaroschek
Fredrik Johansson
|
|
+
|
Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation
|
2013
|
Fredrik Johansson
Manuel Kauers
Marc Mezzarobba
|
|
+
PDF
Chat
|
Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
|
2013
|
Stefan Gerhold
Manuel Kauers
Christoph Koutschan
Peter Paule
Carsten Schneider
Burkhard Zimmermann
|
|
+
|
Formal Laurent series in several variables
|
2013
|
Ainhoa Aparicio Monforte
Manuel Kauers
|
|
+
|
Desingularization Explains Order-Degree Curves for Ore Operators
|
2013
|
Shaoshi Chen
Maximilian Jaroschek
Manuel Kauers
Michael F. Singer
|
|
+
|
The Holonomic Toolkit
|
2013
|
Manuel Kauers
|
|
+
|
On the length of integers in telescopers for proper hypergeometric terms
|
2013
|
Manuel Kauers
Lily Yen
|
|
+
|
Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation
|
2013
|
Fredrik Johansson
Manuel Kauers
Marc Mezzarobba
|
|
+
|
Ore Polynomials in Sage
|
2013
|
Manuel Kauers
Maximilian Jaroschek
Fredrik Johansson
|
|
+
|
Hypercontractive inequalities via SOS, with an application to Vertex-Cover
|
2012
|
Manuel Kauers
Ryan O’Donnell
Li-Yang Tan
Yuan Zhou
|
|
+
PDF
Chat
|
Order-degree curves for hypergeometric creative telescoping
|
2012
|
Shaoshi Chen
Manuel Kauers
|
|
+
PDF
Chat
|
Telescopers for rational and algebraic functions via residues
|
2012
|
Shaoshi Chen
Manuel Kauers
Michael F. Singer
|
|
+
PDF
Chat
|
A Method for Determining the Mod-$2^k$ Behaviour of Recursive Sequences, with Applications to Subgroup Counting
|
2012
|
Manuel Kauers
Christian Krattenthaler
Thomas W. Müller
|
|
+
|
Trading order for degree in creative telescoping
|
2012
|
Shaoshi Chen
Manuel Kauers
|
|
+
|
Telescopers for Rational and Algebraic Functions via Residues
|
2012
|
Shaoshi Chen
Manuel Kauers
Michael F. Singer
|
|
+
|
Order-Degree Curves for Hypergeometric Creative Telescoping
|
2012
|
Shaoshi Chen
Manuel Kauers
|
|
+
|
Hypercontractive inequalities via SOS, and the Frankl--Rödl graph
|
2012
|
Manuel Kauers
Ryan O’Donnell
Li-Yang Tan
Yuan Zhou
|
|
+
|
A method for determining the mod-$2^k$ behaviour of recursive sequences, with applications to subgroup counting
|
2011
|
Manuel Kauers
Christian Krattenthaler
Thomas W. Müller
|
|
+
|
The concrete tetrahedron
|
2011
|
Manuel Kauers
|
|
+
PDF
Chat
|
A refined denominator bounding algorithm for multivariate linear difference equations
|
2011
|
Manuel Kauers
Carsten Schneider
|
|
+
|
The computational challenge of enumerating high-dimensional rook walks
|
2011
|
Manuel Kauers
Doron Zeilberger
|
|
+
PDF
Chat
|
Dominance in the family of Sugeno–Weber t-norms
|
2011
|
Manuel Kauers
Veronika Pillwein
Susanne Saminger‐Platz
|
|
+
PDF
Chat
|
Proof of George Andrews’s and David Robbins’s <i>q</i> -TSPP conjecture
|
2011
|
Christoph Koutschan
Manuel Kauers
Doron Zeilberger
|
|
+
|
A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations
|
2011
|
Manuel Kauers
Carsten Schneider
|
|
+
|
Buchberger's algorithm
|
2011
|
Bruno Buchberger
Manuel Kauers
|
|
+
|
Holonomic Sequences and Power Series
|
2011
|
Manuel Kauers
Peter Paule
|
|
+
|
Trading Order for Degree in Creative Telescoping
|
2011
|
Shaoshi Chen
Manuel Kauers
|
|
+
|
Hypergeometric Series
|
2011
|
Manuel Kauers
Peter Paule
|
|
+
|
Introduction
|
2011
|
Manuel Kauers
Peter Paule
|
|
+
|
A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations
|
2011
|
Manuel Kauers
Carsten Schneider
|
|
+
|
A method for determining the mod-$2^k$ behaviour of recursive sequences, with applications to subgroup counting
|
2011
|
Manuel Kauers
Christian Krattenthaler
Thomas W. Müller
|
|
+
|
The computational challenge of enumerating high-dimensional rook walks
|
2010
|
Manuel Kauers
Doron Zeilberger
|
|
+
PDF
Chat
|
The complete generating function for Gessel walks is algebraic
|
2010
|
Alin Bostan
Manuel Kauers
|
|
+
|
Dominance in the family of Sugeno-Weber t-norms
|
2010
|
Manuel Kauers
Veronika Pillwein
Susanne Saminger‐Platz
|
|
+
PDF
Chat
|
Partial denominator bounds for partial linear difference equations
|
2010
|
Manuel Kauers
Carsten Schneider
|
|
+
PDF
Chat
|
When can we detect that a P-finite sequence is positive?
|
2010
|
Manuel Kauers
Veronika Pillwein
|
|
+
|
When can we decide that a P-finite sequence is positive?
|
2010
|
Manuel Kauers
Veronika Pillwein
|
|
+
|
Partial Denominator Bounds for Partial Linear Difference Equations
|
2010
|
Manuel Kauers
Carsten Schneider
|
|
+
|
A Proof of George Andrews' and David Robbins' $q$-TSPP Conjecture
|
2010
|
Christoph Koutschan
Manuel Kauers
Doron Zeilberger
|
|
+
|
When can we decide that a P-finite sequence is positive?
|
2010
|
Manuel Kauers
Veronika Pillwein
|
|
+
|
The computational challenge of enumerating high-dimensional rook walks
|
2010
|
Manuel Kauers
Doron Zeilberger
|
|
+
|
Dominance in the family of Sugeno-Weber t-norms
|
2010
|
Manuel Kauers
Veronika Pillwein
Susanne Saminger‐Platz
|
|
+
|
Partial Denominator Bounds for Partial Linear Difference Equations
|
2010
|
Manuel Kauers
Carsten Schneider
|
|
+
PDF
Chat
|
A non-holonomic systems approach to special function identities
|
2009
|
Frédéric Chyzak
Manuel Kauers
Bruno Salvy
|
|
+
PDF
Chat
|
Proof of Ira Gessel's lattice path conjecture
|
2009
|
Manuel Kauers
Christoph Koutschan
Doron Zeilberger
|
|
+
PDF
Chat
|
Determining the closed forms of the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msubsup><mml:mi>a</mml:mi><mml:mi>s</mml:mi><mml:mn>3</mml:mn></mml:msubsup><mml:mo stretchy="false">)</mml:mo></mml:math> anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
|
2009
|
J. Blümlein
Manuel Kauers
Sebastian Klein
Carsten Schneider
|
|
+
|
Algorithms in Symbolic Computation
|
2009
|
Peter Paule
Bruno Buchberger
Lena Kartashova
Manuel Kauers
Carsten Schneider
Franz Winkler
|
|
+
|
From Moments to Functions in Quantum Chromodynamics
|
2009
|
J. Blümlein
Manuel Kauers
S. R. Klein
Carsten Schneider
|
|
+
PDF
Chat
|
A Mathematica package for q-holonomic sequences and power series
|
2009
|
Manuel Kauers
Christoph Koutschan
|
|
+
|
From Moments to Functions in Quantum Chromodynamics
|
2009
|
J. Blümlein
Manuel Kauers
Sebastian Klein
Carsten Schneider
|
|
+
PDF
Chat
|
Automatic Classification of Restricted Lattice Walks
|
2009
|
Alin Bostan
Manuel Kauers
|
|
+
PDF
Chat
|
From Moments to Functions in Quantum Chromodynamics
|
2009
|
J. Blümlein
Manuel Kauers
S. R. Klein
Carsten Schneider
|
|
+
PDF
Chat
|
Fast Solvers for Dense Linear Systems
|
2008
|
Manuel Kauers
|
|
+
PDF
Chat
|
The quasi-holonomic ansatz and restricted lattice walks
|
2008
|
Manuel Kauers
Doron Zeilberger
|
|
+
|
Integration of algebraic functions
|
2008
|
Manuel Kauers
|
|
+
|
Solving difference equations whose coefficients are not transcendental
|
2008
|
Manuel Kauers
|
|
+
|
Computing the algebraic relations of C-finite sequences and multisequences
|
2008
|
Manuel Kauers
Burkhard Zimmermann
|
|
+
|
Automatic Classification of Restricted Lattice Walks
|
2008
|
Alin Bostan
Manuel Kauers
|
|
+
|
A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations)
|
2008
|
Manuel Kauers
Christoph Koutschan
Doron Zeilberger
|
|
+
PDF
Chat
|
Experiments with a Positivity-Preserving Operator
|
2008
|
Manuel Kauers
Doron Zeilberger
|
|
+
PDF
Chat
|
Automated Proofs for Some Stirling Number Identities
|
2008
|
Manuel Kauers
Carsten Schneider
|
|
+
|
The Quasi-Holonomic Ansatz and Restricted Lattice Walks
|
2008
|
Manuel Kauers
Doron Zeilberger
|
|
+
|
A Telescoping Fibonacci Sum: 11258.
|
2008
|
Manuel Kauers
Richard Stong
|
|
+
|
Computer algebra for special function inequalities
|
2008
|
Manuel Kauers
|
|
+
|
A Computer Proof of Moll’s Log-Concavity Conjecture
|
2007
|
Manuel Kauers
Peter Paule
|
|
+
PDF
Chat
|
Summation algorithms for Stirling number identities
|
2007
|
Manuel Kauers
|
|
+
PDF
Chat
|
Symbolic summation with radical expressions
|
2007
|
Manuel Kauers
Carsten Schneider
|
|
+
|
An algorithm for deciding zero equivalence of nested polynomially recurrent sequences
|
2007
|
Manuel Kauers
|
|
+
|
Computer Algebra and Power Series with Positive Coecien ts
|
2007
|
Manuel Kauers
|
|
+
|
Experiments with a Positivity Preserving Operator
|
2007
|
Manuel Kauers
Doron Zeilberger
|
|
+
PDF
Chat
|
On Turán's inequality for Legendre polynomials
|
2006
|
Horst Alzer
Stefan Gerhold
Manuel Kauers
Alexandru Lupaş
|
|
+
|
Indefinite summation with unspecified summands
|
2006
|
Manuel Kauers
Carsten Schneider
|
|
+
PDF
Chat
|
A procedure for proving special function inequalities involving a discrete parameter
|
2005
|
Stefan Gerhold
Manuel Kauers
|
|
+
|
A Computer Proof of Turan's Inequality
|
2005
|
Stefan Gerhold
Manuel Kauers
|
|
+
|
Computer proofs for polynomial identities in arbitrary many variables
|
2004
|
Manuel Kauers
|
|
+
|
Computing limits of sequences
|
2003
|
Manuel Kauers
|