Zur Berechenbarkeit reeller geometrischer Probleme / vorgelegt von Martin Ziegler. 2002
Inhalt
- Einleitung
- Typ-2 Theorie der Effektivität
- Darstellungen
- Berechenbarkeit…
- …und Topologie
- Vergleich von Berechenbarkeitsbegriffen
- Konstruktion weiterer Darstellungen
- Einige berechenbare Funktionen
- Funktionenräume
- Beweistechniken
- Verwandte Gebiete und Modelle
- Rekursionstheorie
- Klassische und Rekursive Analysis
- Konstruktivismus und Intuitionismus
- Numerik
- Domain-Theorie und Intervall-Arithmetik
- Die realRAM
- BCSS-Theorie
- Analytische Maschinen
- Algorithmische Geometrie
- Computeralgebra
- Algebraische Modelle
- LP als Beispiel für Rekursive Geometrie
- Turing-Location
- Berechenbarkeit der konvexen Hülle
- Lineare Gleichungssysteme
- Zwischenbilanz
- Reguläre Mengen
- Gebräuchliche Darstellungen
- Elementare Darstellungen
- Vergleich der Darstellungen
- Berechenbare Operatoren
- Nichtlineare Optimierung
- Übrige Beweise
- Beweis von Theorem 9.19
- Konvexe Mengen
- Ausblick
- Eine Komplexitätsuntersuchung
- Grundbegriffe und Bezeichnungsweisen
- Literatur