Classical interval arithmetic

Showing results in 'Publications'. Show all posts
Dawood, Hend, and Yasser Dawood. "Universal Intervals: Towards a Dependency-Aware Interval Algebra." In Mathematical Methods in Interdisciplinary Sciences. Hoboken, New Jersey: John Wiley and Sons, 2020. Abstractuniversal_intervals_abstract_dawood_wiley_2020.pdf

Interval computations are most fundamental in addressing uncertainty and imprecision. The intended status of this chapter is to be both an introduction and a treatise on some theoretical and practical aspects of interval mathematics. In the body of the work, there is room for novelties which may not be devoid of interest to researchers and specialists. The theories of classical intervals and parametric intervals are formally constructed and their mathematical structures are uncovered. By means of the logical concepts of Skolemization and quantification dependence, the notion of interval dependency is formalized by putting on a systematic basis its meaning, and thus gaining the advantage of indicating formally the criteria by which it is to be characterized and, accordingly, deducing its fundamental properties in a merely logical manner. Moreover, with a view to treating some problems of the present interval theories, a new alternate theory of intervals, namely the "theory of universal intervals", is presented and proved to have a nice S-field algebra, which extends the ordinary field of the reals. Our approach is formal by the pursuit of formulating the mathematical concepts in a strictly accurate manner, our perspective is systematic by taking the passage from the informal treatments to the formal technicalities of mathematical logic, and our concern is to take one small step towards paving the way for developing dependency-aware interval methods.

Keywords: Interval mathematics, Classical interval arithmetic, Parametric interval arithmetic, Universal interval arithmetic, Interval dependency, Functional dependence, Guaranteed enclosures, S-Semiring, S-Field, Skolemization.

Dawood, Hend, and Yasser Dawood. "Parametric Intervals: More Reliable or Foundationally Problematic?" Online Mathematics Journal 1, no. 3 (2019): 37-54. Abstractomj_01-03_p37-54_dawood.pdfWebsite

Interval arithmetic has been proved to be very subtle, reliable, and most fundamental in addressing uncertainty and imprecision. However, the theory of classical interval arithmetic and all its alternates suffer from algebraic anomalies, and all have difficulties with interval dependency. A theory of interval arithmetic that seems promising is the theory of parametric intervals. The theory of parametric intervals is presented in the literature with the zealous claim that it provides a radical solution to the long-standing dependency problem in the classical interval theory, along with the claim that parametric interval arithmetic, unlike Moore's classical interval arithmetic, has additive and multiplicative inverse elements, and satisfies the distributive law. So, does the theory of parametric intervals accomplish these very desirable objectives? Here it is argued that it does not.

Keywords: Interval mathematics, Classical interval arithmetic, Parametric interval arithmetic, Constrained interval arithmetic, Overestimation-free interval arithmetic, Interval dependency, Functional dependence, Dependency predicate, Interval enclosures, S-semiring, Uncertainty, Reliability.

Dawood, Hend, and Yasser Dawood. Interval Algerbras: A Formalized Treatment. Giza: Department of Mathematics, Faculty of Science, Cairo University, 2016. Abstract

The theories of classical intervals, modal intervals, and constraint intervals are formally constructed and their mathematical structures are in-depth investigated.

Dawood, Hend. "Interval Mathematics as a Potential Weapon against Uncertainty." In Mathematics of Uncertainty Modeling in the Analysis of Engineering and Science Problems. Hershey, PA: IGI Global, 2014. Abstractinterval_mathematics_as_a_potential_weapon_against_uncertainty.pdf

This chapter is devoted to introducing the theories of interval algebra to people who are interested in applying the interval methods to uncertainty analysis in science and engineering. In view of this purpose, we shall introduce the key concepts of the algebraic theories of intervals that form the foundations of the interval techniques as they are now practised, provide a historical and epistemological background of interval mathematics and uncertainty in science and technology, and finally describe some typical applications that clarify the need for interval computations to cope with uncertainty in a wide variety of scientific disciplines.

Keywords: Interval mathematics, Uncertainty, Quantitative Knowledge, Reliability, Complex interval arithmetic, Machine interval arithmetic, Interval automatic differentiation, Computer graphics, Ray tracing, Interval root isolation.

Dawood, Hend. Interval Mathematics: Foundations, Algebraic Structures, and Applications. Cairo: Cairo University, 2012. Abstractinterval_mathematics_msc_thesis_by_hend_dawood.pdf

We begin by constructing the algebra of classical intervals and prove that it is a nondistributive abelian semiring. Next, we formalize the notion of interval dependency, along with discussing the algebras of two alternate theories of intervals: modal intervals, and constraint intervals. With a view to treating some problems of the present interval theories, we present an alternate theory of intervals, namely the "theory of optimizational intervals", and prove that it constitutes a rich S-field algebra, which extends the ordinary field of the reals, then we construct an optimizational complex interval algebra. Furthermore, we define an order on the set of interval numbers, then we present the proofs that it is a total order, compatible with the interval operations, dense, and weakly Archimedean. Finally, we prove that this order extends the usual order on the reals, Moore's partial order, and Kulisch's partial order on interval numbers.

Keywords:
Classical interval arithmetic, Machine interval arithmetic, Interval dependency, Constraint intervals, Modal intervals, Classical complex intervals, Optimizational intervals, Optimizational complex intervals, S-field algebra, Ordering subsets of the reals, Interval arithmetic, Ordering interval numbers, Ordinal power, Total order, Well order, Order compatibilty, Weak Archimedeanity, Dedekind completeness, Interval lattice, Interval order topology, Moore's partial order, Kulisch's partial order.