Advertisement

Interval Analysis in the Extended Interval Space IR

  • E. Kaucher
Part of the Computing Supplementum book series (COMPUTING, volume 2)

Abstract

This paper shows, how the extended Interval Space IR can be used to write formulas, theorems, and proofs in a closed form, i.e. without using the left and right interval bounds. So a basic generalization and moreover a simplification and improvement of the theorems and proofs is achieved.

Keywords

Interval Function Topological Property Cauchy Sequence Interval Analysis Interval Bound 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Alefeld, G., Herzberger, J.: Einführung in die Intervallrechnung. (Reihe Informatik.) BI 1974.MATHGoogle Scholar
  2. [2]
    Albrecht, R.: Grundlagen einer Theorie gerundeter algebraischer Verknüpfungen in topologischen Vereinen, Computing, Suppl. 1, pp. 1–14. Wien-New York: Springer 1977.Google Scholar
  3. [3]
    Hansen, E.: Topics in Interval Analysis. Oxford University Press 1969.MATHGoogle Scholar
  4. [4]
    Kaucher, E.: Über metrische und algebraische Eigenschaften einiger beim numerischen Rechnen auftretender Räume. Dissertation, Universität Karlsruhe, 1973.Google Scholar
  5. [5]
    Kaucher, E.: Allgemeine Einbettungssätze algebraischer Strukturen unter Erhaltung von verträglichen Ordnungs- und Verbandsstrukturen mit Anwendung in der Intervallrechnung. ZAMM 56, T296 (1976).MATHMathSciNetGoogle Scholar
  6. [6]
    Kaucher, E.: Algebraische Erweiterung der Intervallrechnung unter Erhaltung der Ordnungs- und Verbandsstrukturen. Computing, Suppl. 1, pp. 68–69. Wien-New York: Springer 1977.Google Scholar
  7. [7]
    Kaucher, E.: Über Eigenschaften und Anwendungsmöglichkeiten der erweiterten Intervallrechnung und des hyperbolischen Fastkörpers über R. Computing, Suppl. 1, pp. 82–94. Wien-New York: Springer 1977.Google Scholar
  8. [8]
    Kaucher, E.: Über eine Überlaufarithmetik auf Rechenanlagen und deren Anwendungsmöglichkeiten. ZAMM 57, T286 (1977).MATHMathSciNetGoogle Scholar
  9. [9]
    Kaucher, E.: Formelsammlung zur erweiterten Intervallrechnung. Interner Bericht des Institutes für Angewandte Mathematik, Universität Karlsruhe, 1979.Google Scholar
  10. [10]
    Kulisch, U.: Grundlagen des Numerischen Rechnens. (Reihe Informatik, Bd. 19.) Zürich: Bibliograph. Institut 1976.MATHGoogle Scholar
  11. [11]
    Moore, R. E.: Interval Analysis. Prentice-Hall 1966.MATHGoogle Scholar
  12. [12]
    Nickel, K.: Interval Mathematics, in: Lecture Notes in Computer Science. Berlin-Heidelberg-New York: Springer 1975.Google Scholar
  13. [13]
    Wolff von Gudenberg, J.: Determination of minimum sets of the set of zeros of a function. Computing 24 (1980).Google Scholar
  14. [14]
    Hansen, E.: A globally convergent interval method for Computing and bounding real roots. BIT 18, 415 (1978).CrossRefMATHMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag 1980

Authors and Affiliations

  • E. Kaucher
    • 1
  1. 1.Institut für Angewandte MathematikUniversität KarlsruheKarlsruheFederal Republic of Germany

Personalised recommendations