Hend Dawood
Senior Lecturer of Computational Mathematics
Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt.
(email)
Bio
Publications
Software
Classes
Announcements
Blog
Feeds
Images
Links
Calendar
Interval Arithmetic: Accurate Self-Validating Arithmetic for Digital Computing
View
What links here
Citation:
Dawood, Hend. Interval Arithmetic: Accurate Self-Validating Arithmetic for Digital Computing. Giza: Department of Mathematics, Faculty of Science, Cairo University, 2007.
Export
Tagged
XML
BibTex
Google Scholar
Report Date:
2007
Report Number:
CU-Math-2007-07-IAASVADC
InCLosure
InCLosure Version 1.0
InCLosure Version 2.0
InCLosure Version 3.0
Software Releases
InCLosure
3.0
Jun 21 2020
Download
(3.26 MB)
Upcoming events
Twitter Updates
Follow me on Twitter
Tags
Abstract algebra
(2)
Algebra
(2)
Algebraic Computation
(3)
Algebraic Structures
(1)
Algebraically Closed Commutative Rings
(1)
Algorithmic Differentiation
(2)
Applied Mathematics
(1)
Applied Mathematics and Computational Science
(1)
Applied Mathematics and Statistics
(1)
Arbitrary Precision
(1)
Automatic Differentiation
(3)
Axiomatics
(9)
Book
(2)
Bounding Error
(2)
Cardinality
(3)
Categorical Differentiation Arithmetic
(2)
Categoricity
(4)
Chapter
(1)
Classical complex intervals
(2)
Classical interval arithmetic
(5)
Classical interval theory
(1)
CLisp
(2)
Common Lisp
(2)
Commutative Unital Ring
(1)
Complex analysis
(1)
Complex interval arithmetic
(1)
Computational Mathematics
(9)
Computational Physics
(3)
Computer Algebra
(3)
Computer graphics
(1)
Computer Science
(11)
Computer Science And Engineering
(1)
Consistency
(4)
Consistent Differentiation Arithmetic
(1)
Constrained Interval Arithmetic
(2)
Constraint interval arithmetic
(1)
Constraint intervals
(1)
Dawood's InCLosure
(5)
Dedekind completeness
(1)
Dense Orders
(1)
Dependence logic
(2)
Dependency Predicate
(3)
Dependency-Aware Interval Arithmetic
(1)
Differentiation Arithmetic
(2)
Dissertation
(1)
Errors
(1)
Floating Point Arithmetic
(1)
Floating-Point Arithmetic
(1)
Formal logic
(9)
Functional Dependence
(4)
Fuzzy Mathematics
(2)
Guaranteed Bounds
(3)
Guaranteed Enclosures
(2)
Guaranteed interval enclosures
(1)
Hardware Implementation of Algorithms
(1)
Hardware implementation of interval arithmetic
(1)
Hend Dawood
(6)
InCL
(5)
InCLosure
(7)
InCLosure (Interval enCLosure)
(3)
InCLosure v1.0
(1)
Interval Algorithmic Differentiation
(1)
Interval algorithms
(1)
Interval Analysis
(16)
Interval arithmetic
(13)
Interval automatic differentiation
(3)
Interval computations
(13)
Interval dependency
(6)
Interval Differentiability
(2)
Interval Differentiation
(1)
Interval Differentiation Arithmetic
(2)
Interval Enclosures
(5)
Interval Functions
(6)
Interval lattice
(1)
Interval Mathematics
(14)
Interval order topology
(1)
Interval root isolation
(1)
Interval Subdivision
(1)
Interval-valued functions
(1)
Kaucher Interval Arithmetic
(1)
Kulisch's partial order
(1)
Lisp
(2)
Machine interval arithmetic
(4)
Machine Monotonicity
(1)
Mathematical Analysis
(8)
Mathematical Logic
(9)
Mathematical Software
(8)
Mathematics
(11)
Metalogic
(9)
Metamathematics
(11)
Modal Interval Arithmetic
(1)
Modal intervals
(3)
Model theory
(7)
Moore's partial order
(2)
Numerical Analysis
(8)
Numerical Computation
(2)
Optimizational complex intervals
(2)
Optimizational intervals
(4)
Order compatibilty
(2)
Order theory
(8)
Orderability of Intervals
(1)
Ordering interval numbers
(1)
Ordering subsets of the reals
(1)
Ordinal power
(2)
Outward Rounding
(1)
Overestimation-Free Interval Arithmetic
(2)
Parametric Interval Arithmetic
(3)
PDF
(3)
Proof theory
(7)
Publication
(3)
Quantifiable uncertainties
(1)
Quantifiable Uncertainty
(2)
Quantification theory
(9)
Quantitative Knowledge
(8)
Ray tracing
(1)
Real Analysis
(9)
Real Automatic Differentiation
(1)
Real Differentiation Arithmetic
(1)
Real Functions
(4)
Reasoning about Uncertainty
(1)
Reliability
(6)
Reliable computing
(8)
Rounding Error
(2)
S-Field
(1)
S-field algebra
(3)
S-Semiring
(4)
Scientific Knowledge
(2)
Scientific Software
(2)
Semantics
(9)
Set theory
(2)
Set-Valued Algebras
(4)
Set-valued functions
(8)
Singletonicity
(1)
Skolemization
(4)
Software
(2)
Software implementation of numerical methods
(1)
Subdistributive Semiring
(4)
Symbolic Computation
(3)
Symmetricity
(1)
Theoretical Computer Science
(1)
Thesis
(1)
Total order
(3)
Uncertainty
(8)
Uncertainty Analysis
(6)
Uncertainty Modeling
(6)
Uncertainty Modelling
(1)
Uncertainty Quantification
(6)
Universal algebra
(2)
Universal complex intervals
(2)
Universal Interval Arithmetic
(1)
Universal intervals
(9)
Verified computations
(1)
Weak Archimedeanity
(1)
Well order
(2)
Recent Publications
Automatic Differentiation of Uncertainties: An Interval Computational Differentiation for First and Higher Derivatives with Implementation
InCLosure (Interval enCLosure): A Language and Environment for Reliable Scientific Computing
Universal Intervals: Towards a Dependency-Aware Interval Algebra
A Consistent and Categorical Axiomatization of Differentiation Arithmetic Applicable to First and Higher Order Derivatives
Parametric Intervals: More Reliable or Foundationally Problematic?
more
Tourism