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
Reliable computing
Showing results in 'Calendar'.
Show all posts
August 2024
Previous
Next
Saturday
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5
6
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)
Tags
Abstract algebra
(1)
Algebra
(1)
Axiomatics
(1)
Computer Science
(1)
Dependence logic
(1)
Engineering
(1)
Formal logic
(1)
Hend Dawood
(1)
Interval Algebra
(1)
Interval algebras
(1)
Interval Analysis
(1)
Interval arithmetic
(1)
Interval computations
(1)
Interval Mathematics
(3)
Mathematical Logic
(1)
Mathematics
(1)
Metalogic
(1)
Metamathematics
(1)
Model theory
(1)
Numerical Computations
(1)
Order compatibilty
(1)
Order theory
(1)
Ordering interval numbers
(1)
Ordering subsets of the reals
(1)
Ordinal power
(1)
Proof theory
(1)
Quantification theory
(1)
Quantitative Knowledge
(1)
Reliability
(1)
Reliable computing
(1)
S-field algebra
(1)
Semantics
(1)
Set theory
(1)
Set-valued functions
(1)
Total order
(1)
Uncertainty
(1)
Uncertainty Analysis
(2)
Universal algebra
(1)
Universal intervals
(1)
Weak Archimedeanity
(1)
Well order
(1)
November 2024
Previous
Next
S
S
M
T
W
T
F
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
3
4
5
6
Upcoming events
