| 2007 |
|---|
| 11 | | Manuel Kauers,
Manfred Kerber,
Robert Miner,
Wolfgang Windsteiger:
Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
Springer 2007 |
| 10 | EE | Manuel Kauers,
Carsten Schneider:
Symbolic summation with radical expressions.
ISSAC 2007: 219-226 |
| 9 | EE | Manuel Kauers:
An algorithm for deciding zero equivalence of nested polynomially recurrent sequences.
ACM Transactions on Algorithms 3(2): (2007) |
| 8 | EE | Manuel Kauers:
Summation algorithms for Stirling number identities.
J. Symb. Comput. 42(10): 948-970 (2007) |
| 2006 |
|---|
| 7 | EE | Manuel Kauers,
Carsten Schneider:
Application of unspecified sequences in symbolic summation.
ISSAC 2006: 177-183 |
| 6 | EE | Manuel Kauers,
Carsten Schneider:
Indefinite summation with unspecified summands.
Discrete Mathematics 306(17): 2073-2083 (2006) |
| 5 | EE | Manuel Kauers:
Shift Equivalence of P-finite Sequences.
Electr. J. Comb. 13(1): (2006) |
| 4 | EE | Manuel Kauers:
SumCracker: A package for manipulating symbolic sums and related objects.
J. Symb. Comput. 41(9): 1039-1057 (2006) |
| 2005 |
|---|
| 3 | | Manuel Kauers:
Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings
ACM 2005 |
| 2 | EE | Stefan Gerhold,
Manuel Kauers:
A procedure for proving special function inequalities involving a discrete parameter.
ISSAC 2005: 156-162 |
| 2004 |
|---|
| 1 | EE | Manuel Kauers:
Computer proofs for polynomial identities in arbitrary many variables.
ISSAC 2004: 199-204 |
