Person:392146

Available identifiers

zbMath Open kauers.manuelDBLPk/ManuelKauersWikidataQ15302947 ScholiaQ15302947MaRDI QIDQ392146

List of research outcomes

Publication	Date of Publication	Type
Hardinian arrays	2024-04-09	Paper
Hermite Reduction for D-finite Functions via Integral Bases	2023-11-03	Paper
Transcendence Certificates for D-finite Functions	2023-11-03	Paper
Flip Graphs for Matrix Multiplication	2023-11-03	Paper
Order bounds for C2-finite sequences	2023-11-03	Paper
D-Finite Functions	2023-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q6135998	2023-08-28	Paper
A normal form for matrix multiplication schemes	2023-07-26	Paper
OuterCount: a first-level solution-counter for quantified Boolean formulas	2023-06-02	Paper
Multivariate ore polynomials in SageMath	2023-03-03	Paper
Lonely points in simplices	2023-01-23	Paper
A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications	2023-01-11	Paper
Why you should remove zeros from data before guessing	2023-01-11	Paper
How does the Gerrymander Sequence Continue?	2023-01-10	Paper
Quadrant walks starting outside the quadrant	2023-01-05	Paper
The generating function of Kreweras walks with interacting boundaries is not algebraic	2023-01-05	Paper
Good pivots for small sparse matrices	2022-12-21	Paper
The Orbit-Sum Method for Higher Order Equations	2022-11-15	Paper
Polynomial bivariate copulas of degree five: characterization and some particular inequalities	2021-11-15	Paper
Walks with small steps in the 4D-orthant	2021-03-29	Paper
New ways to multiply \(3 \times 3\)-matrices	2021-02-18	Paper
Incremental column-wise verification of arithmetic circuits using computer algebra	2021-02-08	Paper
Separating variables in bivariate polynomial ideals	2021-01-22	Paper
Integral bases for p-recursive sequences	2021-01-22	Paper
Foreword	2020-09-19	Paper
Bounds for Substituting Algebraic Functions into D-finite Functions	2020-09-09	Paper
Counting Standard Young Tableaux With Restricted Runs	2020-06-17	Paper
Continued Classification of 3D Lattice Walks in the Positive Octant	2020-05-26	Paper
Local search for fast matrix multiplication	2020-05-20	Paper
Inhomogeneous restricted lattice walks	2020-03-23	Paper
Asymptotic enumeration of compacted binary trees of bounded right height	2020-02-21	Paper
Integral P-Recursive Sequences	2020-02-07	Paper
Separating Variables in Bivariate Polynomial Ideals	2020-02-04	Paper
On the maximal minimal cube lengths in distinct DNF tautologies	2020-01-21	Paper
Apparent singularities of D-finite systems	2019-06-28	Paper
Hypercontractive inequalities via SOS, and the Frankl–Rödl graph	2019-06-20	Paper
A simple rederivation of Onsager's solution of the 2D Ising model using experimental mathematics	2019-03-12	Paper
Factorization of $C$-finite sequences	2019-01-29	Paper
Short proofs for some symmetric quantified Boolean formulas	2018-10-19	Paper
Symmetries of quantified Boolean formulas	2018-08-10	Paper
D-finite numbers	2018-08-01	Paper
Automatic Classification of Restricted Lattice Walks	2018-07-23	Paper
Lattice walks in the octant with infinite associated groups	2018-01-18	Paper
Reduction-based creative telescoping for Fuchsian D-finite functions	2017-10-10	Paper
Some open problems related to creative telescoping	2017-09-06	Paper
Reduction-Based Creative Telescoping for Algebraic Functions	2017-05-10	Paper
Desingularization explains order-degree curves for ore operators	2017-02-10	Paper
Finding hyperexponential solutions of linear ODEs by numerical evaluation	2017-02-10	Paper
Application of unspecified sequences in symbolic summation	2017-02-03	Paper
On 3-dimensional lattice walks confined to the positive octant	2017-01-26	Paper
Hypergeometric expressions for generating functions of walks with small steps in the quarter plane	2016-12-27	Paper
Hypercontractive inequalities via SOS, and the Frankl--Rödl graph	2016-10-10	Paper
A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms	2016-09-29	Paper
Integral D-Finite Functions	2016-09-29	Paper
Solving parametric linear systems	2016-07-18	Paper
Ore Polynomials in Sage	2016-05-25	Paper
Walks in the Quarter Plane with Multiple Steps	2016-05-04	Paper
On a Conjecture of Cusick Concerning the Sum of Digits of $n$ and $n+t$	2016-04-07	Paper
Desingularization of Ore operators	2015-12-08	Paper
A generalized Apagodu-Zeilberger algorithm	2015-11-11	Paper
Bounds for D-finite closure properties	2015-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2949159	2015-10-07	Paper
When can we detect that a P-finite sequence is positive?	2015-09-17	Paper
Partial denominator bounds for partial linear difference equations	2015-09-17	Paper
An algorithm for deciding zero equivalence of nested polynomially recurrent sequences	2015-09-02	Paper
A procedure for proving special function inequalities involving a discrete parameter	2015-07-16	Paper
A refined denominator bounding algorithm for multivariate linear difference equations	2015-06-09	Paper
Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order	2015-04-01	Paper
The Holonomic Toolkit	2015-04-01	Paper
Order-degree curves for hypergeometric creative telescoping	2015-03-27	Paper
Telescopers for rational and algebraic functions via residues	2015-03-27	Paper
On the length of integers in telescopers for proper hypergeometric terms	2014-07-16	Paper
Formal Laurent series in several variables	2014-01-13	Paper
Proof of George Andrews’s and David Robbins’s q -TSPP conjecture	2013-02-02	Paper
A method for determining the mod-\(2^k\) behaviour of recursive sequences, with applications to subgroup counting	2012-10-23	Paper
A non-holonomic systems approach to special function identities	2012-05-13	Paper
Trading order for degree in creative telescoping	2012-05-11	Paper
Dominance in the family of Sugeno-Weber t-norms	2012-04-13	Paper
The computational challenge of enumerating high-dimensional rook walks	2011-10-11	Paper
How to use cylindrical algebraic decomposition	2011-02-09	Paper
The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates	2011-01-31	Paper
Proof of Ira Gessel's lattice path conjecture	2011-01-24	Paper
Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra	2010-10-28	Paper
The complete generating function for Gessel walks is algebraic	2010-09-27	Paper
A Mathematica package for \(q\)-holonomic sequences and power series	2009-11-16	Paper
Automated proofs for some Stirling number identities	2009-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q3602576	2009-02-12	Paper
Experiments with a Positivity-Preserving Operator	2009-01-29	Paper
Integration of algebraic functions	2009-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5301673	2009-01-20	Paper
Computing the algebraic relations of \(C\)-finite sequences and multisequences	2009-01-09	Paper
The quasi-holonomic ansatz and restricted lattice walks	2008-11-05	Paper
A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations)	2008-08-05	Paper
Solving difference equations whose coefficients are not transcendental	2008-07-31	Paper
Summation algorithms for Stirling number identities	2008-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q5433687	2008-01-09	Paper
A Computer Proof of Moll’s Log-Concavity Conjecture	2007-11-01	Paper
SumCracker: A package for manipulating symbolic sums and related objects	2007-10-23	Paper
On Turán's inequality for Legendre polynomials	2007-07-19	Paper
Shift equivalence of P-finite sequences	2007-03-12	Paper
Indefinite summation with unspecified summands	2006-09-14	Paper
Computer proofs for polynomial identities in arbitrary many variables	2005-03-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Manuel Kauers