aboutsummaryrefslogtreecommitdiffstats
path: root/buch/chapters/060-integral/risch.tex
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--buch/chapters/060-integral/risch.tex13
1 files changed, 13 insertions, 0 deletions
diff --git a/buch/chapters/060-integral/risch.tex b/buch/chapters/060-integral/risch.tex
index 6c8ff96..2080ce8 100644
--- a/buch/chapters/060-integral/risch.tex
+++ b/buch/chapters/060-integral/risch.tex
@@ -6,7 +6,20 @@
\section{Der Risch-Algorithmus
\label{buch:integral:section:risch}}
\rhead{Risch-Algorithmus}
+Die Lösung des Integrationsproblem für $\mathbb{Q}(x)$ und für
+$\mathbb{Q}(x,y)$ mit $y=\!\sqrt{ax^2+bx+c}$ hat gezeigt, dass
+ein Differentialkörper genau die richtige Bühne für dieses Unterfangen
+sein dürfte.
+Die Stammfunktionen konnten in einem Erweiterungskörper gefunden
+werden, der ein paar Logarithmen hinzugefügt worden sind.
+Tatsächlich lässt sich in diesem Rahmen sogar ein Algorithmus
+formulieren, der in einem noch zu definierenden Sinn ``elementare''
+Funktionen als Stammfunktionen finden kann oder beweisen kann, dass
+eine solche nicht existiert.
+Dieser Abschnitt soll einen Überblick darüber geben.
+\input{chapters/060-integral/logexp.tex}
+\input{chapters/060-integral/elementar.tex}