Manuel Kauers

According to our database1, Manuel Kauers authored at least 61 papers between 2002 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Apparent singularities of D-finite systems.
J. Symb. Comput., 2019

Local Search for Fast Matrix Multiplication.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

2018
Reduction-based creative telescoping for fuchsian D-finite functions.
J. Symb. Comput., 2018

Short proofs for some symmetric Quantified Boolean Formulas.
Inf. Process. Lett., 2018

Symmetries of Quantified Boolean Formulas.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Improving and extending the algebraic approach for verifying gate-level multipliers.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017
Some open problems related to creative telescoping.
J. Systems Science & Complexity, 2017

Lattice walks in the octant with infinite associated groups.
Electronic Notes in Discrete Mathematics, 2017

Hypergeometric expressions for generating functions of walks with small steps in the quarter plane.
Eur. J. Comb., 2017

Challenges in Verifying Arithmetic Circuits Using Computer Algebra.
Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

Bounds for Substituting Algebraic Functions into D-finite Functions.
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

Column-wise verification of multipliers using computer algebra.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016
On a Conjecture of Cusick Concerning the Sum of Digits of n and n+t.
SIAM J. Discrete Math., 2016

Desingularization of Ore operators.
J. Symb. Comput., 2016

Workshop on symbolic combinatorics and algorithmic differential algebra.
ACM Comm. Computer Algebra, 2016

Reduction-Based Creative Telescoping for Algebraic Functions.
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2015
Ore Polynomials in Sage.
Proceedings of the Computer Algebra and Polynomials, 2015

On the length of integers in telescopers for proper hypergeometric terms.
J. Symb. Comput., 2015

Creative Telescoping via Hermite Reduction.
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Integral D-Finite Functions.
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms.
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014
Hypercontractive inequalities via SOS, and the Frankl-Rödl graph.
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, 2014

Bounds for D-finite closure properties.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

A generalized Apagodu-Zeilberger algorithm.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

2013
Finding hyperexponential solutions of linear ODEs by numerical evaluation.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

Desingularization explains order-degree curves for ore operators.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012
Trading order for degree in creative telescoping.
J. Symb. Comput., 2012

Telescopers for rational and algebraic functions via residues.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

Order-degree curves for hypergeometric creative telescoping.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

2011
The Concrete Tetrahedron - Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates.
Texts & Monographs in Symbolic Computation, Springer, ISBN: 978-3-7091-0445-3, 2011

Buchberger's algorithm.
Scholarpedia, 2011

Dominance in the family of Sugeno-Weber t-norms.
Fuzzy Sets and Systems, 2011

A Method for Determining the Mod-2k Behaviour of Recursive Sequences, with Applications to Subgroup Counting.
Electr. J. Comb., 2011

The computational challenge of enumerating high-dimensional rook walks.
Adv. Appl. Math., 2011

A refined denominator bounding algorithm for multivariate linear difference equations.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

The concrete tetrahedron.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

2010
Groebner basis.
Scholarpedia, 2010

Partial denominator bounds for partial linear difference equations.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

When can we detect that a P-finite sequence is positive?
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

2009
Determining the closed forms of the O(sS3) anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra.
Computer Physics Communications, 2009

A non-holonomic systems approach to special function identities.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

Algorithms in Symbolic Computation.
Proceedings of the Hagenberg Research, 2009

2008
Solving difference equations whose coefficients are not transcendental.
Theor. Comput. Sci., 2008

A Telescoping Fibonacci Sum: 11258.
The American Mathematical Monthly, 2008

Computing the algebraic relations of C-finite sequences and multisequences.
J. Symb. Comput., 2008

Experiments with a Positivity-Preserving Operator.
Experimental Mathematics, 2008

Automated Proofs for Some Stirling Number Identities.
Electr. J. Comb., 2008

Integration of algebraic functions: a simple heuristic for finding the logarithmic part.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

2007
An algorithm for deciding zero equivalence of nested polynomially recurrent sequences.
ACM Trans. Algorithms, 2007

Summation algorithms for Stirling number identities.
J. Symb. Comput., 2007

Symbolic summation with radical expressions.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

2006
Problem 11258.
The American Mathematical Monthly, 2006

SumCracker: A package for manipulating symbolic sums and related objects.
J. Symb. Comput., 2006

Indefinite summation with unspecified summands.
Discrete Mathematics, 2006

Shift Equivalence of P-finite Sequences.
Electr. J. Comb., 2006

Application of unspecified sequences in symbolic summation.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

2005
A procedure for proving special function inequalities involving a discrete parameter.
Proceedings of the Symbolic and Algebraic Computation, 2005

2004
Solving parametric linear systems: an experiment with constraint algebraic programming.
ACM SIGSAM Bulletin, 2004

Computer proofs for polynomial identities in arbitrary many variables.
Proceedings of the Symbolic and Algebraic Computation, 2004

2003
Computing limits of sequences.
ACM SIGSAM Bulletin, 2003

2002
Interlingua based statistical machine translation.
Proceedings of the 7th International Conference on Spoken Language Processing, ICSLP2002, 2002


  Loading...