Shift equivalence of P-finite sequences. Kauers, Manuel — 2006 The Electronic Journal of Combinatorics [electronic only]
A computer proof of Turán's inequality. Gerhold, Stefan; Kauers, Manuel — 2006 JIPAM. Journal of Inequalities in Pure & Applied Mathematics [electronic only]
Automated proofs for some Stirling number identities. Kauers, Manuel; Schneider, Carsten — 2008 The Electronic Journal of Combinatorics [electronic only]