Hend Dawood
Senior Lecturer of Computational Mathematics
Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt. (email)
Interval Algerbras: A Formalized Treatment
in
- Algebraic Structures
- Axiomatics
- Classical interval arithmetic
- Formal logic
- Interval Analysis
- Interval arithmetic
- Interval Mathematics
- Kaucher Interval Arithmetic
- Mathematical Analysis
- Metalogic
- Metamathematics
- Modal Interval Arithmetic
- Parametric Interval Arithmetic
- Quantification theory
- Real Analysis
- Semantics
- Citation:
- Dawood, Hend, and Yasser Dawood. Interval Algerbras: A Formalized Treatment. Giza: Department of Mathematics, Faculty of Science, Cairo University, 2016.
Report Date:
2016Report Number:
CU-Math-2016-06-IAFTAbstract:
The theories of classical intervals, modal intervals, and constraint intervals are formally constructed and their mathematical structures are in-depth investigated.