MedlemHendDawood

Bøger
6
Samlinger
Nøgleord
Mathematics (6), Scientific Computing (4), Digital Computing (4), Interval Arithmetic (4), Categoricity (3), Definitional Extension (3), Consistency (3), Logic (3), Decidability (2), Metamathematics (2), Model Theory (2), Proof Theory (2), Semantic (1), Rectangle Of Certainty (1), Octonions (1), Multidimensional Number Systems (1), Algebraic Operations (1), Complex Interval Operations (1), Inclusion Monotonicity (1), Parallelotope Of Certainty (1), Algebraic Structure (1), Interval Of Certainty (1), Uncertain Values (1), Upper Endpoint (1), Lower Endpoint (1), Interval Numbers (1), Interval Computation (1), Abelian Monoid (1), Functional Dependence (1), Interval Mathematics (1), Rounded-Outward Interval Arithmetic (1), INTLab (1), Foundations Programming (1), Numeric (1), Rigorous Error Analysis (1), Interval Algorithms (1), Rounded-Upward Interval Arithmetic (1), Software Implementation of Interval Arithmetic (1), Overestimation (1), Hardware Implementation of Interval Arithmetic (1), Taylor'S Theorem With Interval Remainder (1), Existential Modal Interval (1), Universal Modal Interval (1), Min-Max Optimization (1), Logical Arithmetic (1), Interval Analysis (1), Truncation Errors (1), Accuracy (1), Measure Theory (1), Verilog (1), Measurements (1), Mathematical Programming (1), Quaternions (1), Alternate Theories (1), Complex Numbers (1), Uncertainty (1), Classical Interval Theory (1), Semantics (1), Software (1), Computing (1), Arithmetic (1), Programming (1), Symbolic (1), Analysis (1), Floating-Point Arithmetic (1), Algebraic System (1), Input Errors (1), Floating-Point Multiplier (1), Rounding Errors (1), Expert Estimations (1), Round-Off Error (1), Algebra (1), Interval Squarrer (1), Floating-Point Comparator (1), Interval Multiplication (1), Complex Interval Arithmetic (1), Interval Addition (1), Machine Interval Arithmetic (1), Machine Real Arithmetic (1), Images of Real Functions (1), Modal Intervals (1), Constraint Interval Arithmetic (1), Interval Dependency Problem (1), Interval Adder (1)
See All Tags 
Medier
Kommet til
Oct 16, 2011
Real Name
Hend Dawood
About Me
Hend Dawood is a teaching assistant of Computational Mathematics in the Department of Mathematics at Cairo University. Her research interests are in the areas of proof theory, logical foundations of computation, automated deduction, interval mathematics and uncertain computing. She is especially interested in the axiomatic foundations of uncertain logic and uncertain set theory.
Hjemmeside
http://cairo.academia.edu/HendDawood
Also On