Follow
Yasser Dawood
Yasser Dawood
Department of Astronomy, Faculty of Science, Cairo University
Verified email at sci.cu.edu.eg - Homepage
Title
Cited by
Cited by
Year
InCLosure (Interval enCLosure)–a language and environment for reliable scientific computing
H Dawood, Y Dawood
Computer Software, Version 2, 2020
92020
A Logical Formalization of the Notion of Interval Dependency: Towards Reliable Intervalizations of Quantifiable Uncertainties
H Dawood, Y Dawood
Online Mathematics Journal 1 (3), 15-36, 2019
82019
Universal Intervals: Towards a Dependency-Aware Interval Algebra
H Dawood, Y Dawood
Mathematical Methods in Interdisciplinary Sciences, 2020
62020
Investigations into a Formalized Theory of Interval Differentiation
H Dawood, Y Dawood
Cairo University, 2017
52017
Interval Algerbras: A Formalized Treatment
H Dawood, Y Dawood
Cairo University, 2016
52016
Parametric Intervals: More Reliable or Foundationally Problematic?
H Dawood, Y Dawood
Online Mathematics Journal 1 (3), 37-54, 2019
42019
The Form of the Uncertain: On the Mathematical Structures of Uncertainty
H Dawood, Y Dawood
Cairo University, 2016
42016
On Some Order-theoretic Aspects of Interval Algebras
H Dawood, Y Dawood
Cairo University, 2014
42014
A Dependency-Aware Interval Algebra
H Dawood, Y Dawood
Cairo University, 2013
42013
Logical Aspects of Interval Dependency
H Dawood, Y Dawood
Cairo University, 2013
42013
On the Metamathematics of the Theory of Interval Numbers
H Dawood, Y Dawood
Cairo University, 2010
32010
On the Mathematical Foundations of Algorithmic Differentiation
H Dawood, Y Dawood
Cairo University, 2017
22017
Interval Root Finding and Interval Polynomials: Methods and Applications in Science and Engineering
H Dawood, Y Dawood
Polynomial Paradigms: Trends and Applications in Science and Engineering, 15 …, 2022
12022
Applied Logic Flowchart
J Corcoran, H Dawood, Y Dawood
https://scholar.cu.edu.eg/henddawood/publications/applied-logic-flow-chart, 2018
2018
Logical Methodology Chart
J Corcoran, H Dawood, Y Dawood
https://scholar.cu.edu.eg/henddawood/publications/logical-methodology-chart, 2018
2018
Towards a Dependency-Aware Interval Algebra
H DAWOOD, Y DAWOOD
The system can't perform the operation now. Try again later.
Articles 1–16