%
% differentialkoerper.tex
%
% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
%
\section{Differentialkörper und das Integrationsproblem
\label{buch:integrale:section:dkoerper}}
\rhead{Differentialkörper}
Die Einführung einer neuen Funktion $\operatorname{erf}(x)$ wurde
durch die Behauptung gerechtfertigt, dass es für den Integranden
$e^{-x^2}$ keine Stammfunktion in geschlossener Form gäbe.
Die Fehlerfunktion ist bei weitem nicht die einzige mit dieser
Eigenschaft.
Doch woher weiss man, dass es keine solche Funktion gibt, und
was heisst überhaupt ``Stammfunktion in geschlossener Form''?
In diesem Abschnitt wird daher ein algebraischer Rahmen entwickelt,
in dem diese Frage sinnvoll gestellt werden kann.

\input{chapters/060-integral/rational.tex}
\input{chapters/060-integral/erweiterungen.tex}
\input{chapters/060-integral/diffke.tex}
\input{chapters/060-integral/iproblem.tex}
\input{chapters/060-integral/irat.tex}
\input{chapters/060-integral/sqrat.tex}
