# Hend Dawood

## Senior Lecturer of Computational Mathematics

Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt. (email)

Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt. (email)

Showing results in 'Publications'. Show all posts

**Reviews**

"This new book by Hend Dawood is a fresh introduction to some of the basics of interval computation. It stops short of discussing the more complicated subdivision methods for converging to ranges of values, however it provides a bit of perspective about complex interval arithmetic, constraint intervals, and modal intervals, and it does go into the design of hardware operations for interval arithmetic, which is something still to be done by computer manufacturers."

** - Ramon E. Moore**, (The Founder of Interval Computations)

"A popular math-oriented introduction to interval computations and its applications. This short book contains an explanation of the need for interval computations, a brief history of interval computations, and main interval computation techniques. It also provides an impressive list of main practical applications of interval techniques."

** - Vladik Kreinovich**, (International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems)

"I am delighted to see one more Egyptian citizen re-entering the field of interval mathematics invented in this very country thousands years ago."

** - Marek W. Gutowski**,

**Book Description**

Scientists are, all the time, in a struggle with uncertainty which is always a threat to a trustworthy scientific knowledge. A very simple and natural idea, to defeat uncertainty, is that of enclosing uncertain measured values in real closed intervals. On the basis of this idea, interval arithmetic is constructed. The idea of calculating with intervals is not completely new in mathematics: the concept has been known since Archimedes, who used guaranteed lower and upper bounds to compute his constant Pi. Interval arithmetic is now a broad field in which rigorous mathematics is associated with scientific computing. This connection makes it possible to solve uncertainty problems that cannot be efficiently solved by floating-point arithmetic. Today, application areas of interval methods include electrical engineering, control theory, remote sensing, experimental and computational physics, chaotic systems, celestial mechanics, signal processing, computer graphics, robotics, and computer-assisted proofs. The purpose of this book is to be a concise but informative introduction to the theories of interval arithmetic as well as to some of their computational and scientific applications.

- Abstract algebra (2)
- Algebra (2)
- Axiomatics (9)
- Book (2)
- Bounding Error (2)
- Cardinality (3)
- Categoricity (4)
- Chapter (1)
- CLisp (2)
- Common Lisp (2)
- Complex analysis (1)
- Computer Algebra (3)
- Computer Science (11)
- Consistency (4)
- Constraint interval arithmetic (1)
- Dense Orders (1)
- Dependence logic (2)
- Dissertation (1)
- Errors (1)
- Formal logic (9)
- Hend Dawood (6)
- InCL (5)
- InCLosure (7)
- InCLosure v1.0 (1)
- Interval Analysis (15)
- Interval arithmetic (13)
- Interval lattice (1)
- Interval Mathematics (14)
- Lisp (2)
- Mathematics (11)
- Metalogic (9)
- Metamathematics (11)
- Modal intervals (3)
- Model theory (7)
- Order theory (8)
- Ordinal power (2)
- Outward Rounding (1)
- PDF (3)
- Proof theory (7)
- Publication (3)
- Ray tracing (1)
- Real Analysis (9)
- Real Functions (4)
- Reliability (6)
- Rounding Error (2)
- S-Field (1)
- S-field algebra (3)
- S-Semiring (4)
- Semantics (9)
- Set theory (2)
- Singletonicity (1)
- Skolemization (4)
- Software (2)
- Symmetricity (1)
- Thesis (1)
- Total order (3)
- Uncertainty (8)
- Well order (2)