Manuel Kauers
According to our database^{1},
Manuel Kauers
authored at least 61 papers
between 2002 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
On csauthors.net:
Bibliography
2019
Apparent singularities of Dfinite systems.
J. Symb. Comput., 2019
Local Search for Fast Matrix Multiplication.
Proceedings of the Theory and Applications of Satisfiability Testing  SAT 2019, 2019
2018
Reductionbased creative telescoping for fuchsian Dfinite 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 gatelevel 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 Dfinite Functions.
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017
Columnwise 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
ReductionBased 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 DFinite Functions.
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015
A Modified AbramovPetkovsek 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 FranklRödl graph.
Proceedings of the TwentyFifth Annual ACMSIAM Symposium on Discrete Algorithms, 2014
Bounds for Dfinite closure properties.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014
A generalized ApagoduZeilberger 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 orderdegree 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
Orderdegree 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: 9783709104453, 2011
Buchberger's algorithm.
Scholarpedia, 2011
Dominance in the family of SugenoWeber tnorms.
Fuzzy Sets and Systems, 2011
A Method for Determining the Mod2^{k} Behaviour of Recursive Sequences, with Applications to Subgroup Counting.
Electr. J. Comb., 2011
The computational challenge of enumerating highdimensional 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 Pfinite sequence is positive?
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010
2009
Determining the closed forms of the O(s_{S}^{3}) anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra.
Computer Physics Communications, 2009
A nonholonomic 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 Cfinite sequences and multisequences.
J. Symb. Comput., 2008
Experiments with a PositivityPreserving 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 Pfinite 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