\begin{chapter}{Automatisches Beweisen}

\begin{section}{Verfahren}
\input{verfahren}
\end{section}

\begin{section}{Umsetzung in \ma}
\input{mathematica}
\end{section}
\end{chapter}

\begin{chapter}{Beispiele mit \ma}
\input{Beispiele}
\end{chapter}
