\magnification=1200
\hsize=4in
\overfullrule=0pt
\input amssym
%\def\frac#1 #2 {{#1\over #2}}
\def\emph#1{{\it #1}}
\def\em{\it}
\nopagenumbers
\noindent
%
%
{\bf Manuel Kauers and Carsten Schneider}
%
%
\medskip
\noindent
%
%
{\bf Automated Proofs for Some Stirling Number Identities}
%
%
\vskip 5mm
\noindent
%
%
%
%
We present computer-generated proofs for some summation identities for
($q$-)Stir\-ling and ($q$-)Eulerian numbers that were obtained by
combining a recent summation algorithm for Stirling number identities
with a recurrence solver for difference fields.
\bye