1. Approximation der erweiterten Intervallarithmetik durch die einfache Maschinenintervallarithmetik

   • N. Apostolatos
   • U. Kulisch

   OriginalPaper Pages: 181 - 194

2. Ein Einschließungsverfahren für Nullstellen

   • N. Apostolatos
   • U. Kulisch
   • K. Nickel

   OriginalPaper Pages: 195 - 201

3. Untersuchungen zum Verhalten von algebraischen Nichtlinearitäten in Regelsystemen

   • I. Troch

   OriginalPaper Pages: 202 - 231

4. Die vollautomatische Berechnung einer einfachen Nullstelle von F(t)=0 einschließlich einer Fehlerabschätzung

   • K. Nickel

   OriginalPaper Pages: 232 - 245

5. Eine Methode zur Bestimmung günstiger Konvergenzfaktoren für asymptotische Entwicklungen

   • F. Pittnauer

   OriginalPaper Pages: 246 - 256

6. Ableitungsfreie Schranken für die numerische Integration

   • F. Stetter

   OriginalPaper Pages: 257 - 262

7. Beweisalgorithmen für die Prädikatenlogik

   • G. Veenker

   OriginalPaper Pages: 263 - 283

8. Algorithmus 5 Die Nullstellen eines Polynoms

   • K. Nickel

   Algorithmus Pages: 284 - 288

9. Zertifikat zu Algorithmus 5

   • K. Fischer

   Algorithmus Pages: 289 - 290

10. Buchbesprechungen

    • E. Bukovics
    • G. Baron
    • K. Walk

    BookReview Pages: 291 - 308