Displaying similar documents to “A comparative study of some results of Mihailo Petrović and results of interval methematics”

A Mathematical Basis for an Interval Arithmetic Standard

Bohlender, Gerd, Kulisch, Ulrich (2010)

Serdica Journal of Computing

Similarity:

Basic concepts for an interval arithmetic standard are discussed in the paper. Interval arithmetic deals with closed and connected sets of real numbers. Unlike floating-point arithmetic it is free of exceptions. A complete set of formulas to approximate real interval arithmetic on the computer is displayed in section 3 of the paper. The essential comparison relations and lattice operations are discussed in section 6. Evaluation of functions for interval arguments is studied in section...

Set arithmetic and the enclosing problem in dynamics

Marian Mrozek, Piotr Zgliczyński (2000)

Annales Polonici Mathematici

Similarity:

We study the enclosing problem for discrete and continuous dynamical systems in the context of computer assisted proofs. We review and compare the existing methods and emphasize the importance of developing a suitable set arithmetic for efficient algorithms solving the enclosing problem.

Introduction to the Maple Power Tool Intpakx

Krämer, Walter (2007)

Serdica Journal of Computing

Similarity:

The paper has been presented at the 12th International Conference on Applications of Computer Algebra, Varna, Bulgaria, June, 2006 The Maple Power Tool intpakX [24] de nes Maple types for real intervals and complex disc intervals. On the level of basic operations, intpakX includes the four basic arithmetic operators, including extended interval division as an extra function. Furthermore, there are power, square, square root, logarithm and exponential functions, a set of standard...