The SCEAS System
| |||||||

## Search the dblp DataBase
Manuel Kauers:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Stefan Gerhold, Manuel Kauers
**A procedure for proving special function inequalities involving a discrete parameter.**[Citation Graph (0, 0)][DBLP] ISSAC, 2005, pp:156-162 [Conf] - Manuel Kauers
**Computer proofs for polynomial identities in arbitrary many variables.**[Citation Graph (0, 0)][DBLP] ISSAC, 2004, pp:199-204 [Conf] - Manuel Kauers, Carsten Schneider
**Application of unspecified sequences in symbolic summation.**[Citation Graph (0, 0)][DBLP] ISSAC, 2006, pp:177-183 [Conf] - Manuel Kauers, Carsten Schneider
**Indefinite summation with unspecified summands.**[Citation Graph (0, 0)][DBLP] Discrete Mathematics, 2006, v:306, n:17, pp:2073-2083 [Journal] - Manuel Kauers, Carsten Schneider
**Symbolic summation with radical expressions.**[Citation Graph (0, 0)][DBLP] ISSAC, 2007, pp:219-226 [Conf] - Manuel Kauers
**SumCracker: A package for manipulating symbolic sums and related objects.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2006, v:41, n:9, pp:1039-1057 [Journal] - Manuel Kauers
**Summation algorithms for Stirling number identities.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2007, v:42, n:10, pp:948-970 [Journal] - Manuel Kauers
**An algorithm for deciding zero equivalence of nested polynomially recurrent sequences.**[Citation Graph (0, 0)][DBLP] ACM Transactions on Algorithms, 2007, v:3, n:2, pp:- [Journal] **Integration of algebraic functions: a simple heuristic for finding the logarithmic part.**[Citation Graph (, )][DBLP]**A non-holonomic systems approach to special function identities.**[Citation Graph (, )][DBLP]**Shift Equivalence of P-finite Sequences.**[Citation Graph (, )][DBLP]**Determining the closed forms of the $O(a_s^3)$ anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra**[Citation Graph (, )][DBLP]**From Moments to Functions in Quantum Chromodynamics**[Citation Graph (, )][DBLP]**A Non-Holonomic Systems Approach to Special Function Identities**[Citation Graph (, )][DBLP]**The complete Generating Function for Gessel Walks is Algebraic**[Citation Graph (, )][DBLP]**When can we decide that a P-finite sequence is positive?**[Citation Graph (, )][DBLP]**Partial Denominator Bounds for Partial Linear Difference Equations**[Citation Graph (, )][DBLP]**Dominance in the family of Sugeno-Weber t-norms**[Citation Graph (, )][DBLP]
Search in 0.035secs, Finished in 0.036secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |